Logs: liberachat/#haskell
| 2021-06-09 20:03:08 | <dminuoso> | And then your command data type would just be `data C = C1 (Nested RC1) | C2 (Nested RC2)` |
| 2021-06-09 20:03:32 | <dminuoso> | Of course with each passing step you start accomulate a lot of cruft just to please the weird ergonomics of optparse-generic with non-obvious type level tricks |
| 2021-06-09 20:03:40 | <dminuoso> | Better to just write `optparse-applicative` parsers. |
| 2021-06-09 20:04:16 | <infandum> | which is ironic as optparse-generic is supposed to make the writing faster haha |
| 2021-06-09 20:04:22 | <infandum> | still, very interesting stuff! |
| 2021-06-09 20:04:35 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-09 20:04:49 | <dminuoso> | I can see how optparse-generic is nice to some people when want to quickly get some option parsing with minimal effort. |
| 2021-06-09 20:05:03 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 252 seconds) |
| 2021-06-09 20:05:05 | <dminuoso> | I might even use it for *some* parsers |
| 2021-06-09 20:05:15 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) |
| 2021-06-09 20:05:27 | <dminuoso> | As long as I'm ready to switch to optparse-applicative directly. Recall, you can combine/mix these freely, best of both worlds. |
| 2021-06-09 20:05:28 | <infandum> | yeah, I converted a while back to optparse-generic, but for this huge program with a lot of features and entrypoints it is a little unwieldy |
| 2021-06-09 20:06:25 | <dminuoso> | I do a similar thing with Aeson in one of my programs. About 90% of the instances are generated with generics (with deriving-aeson, for extra convenience), but I dont shy away from writing out 10% by hand because the generics dont do what I want. |
| 2021-06-09 20:06:42 | <dminuoso> | Or because I wanted to decouple the public representation from the internal one |
| 2021-06-09 20:07:06 | × | fendor quits (~fendor@178.165.130.85.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-09 20:07:18 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-09 20:08:24 | <dminuoso> | infandum: Check out `parseRecord` from otpparse-generic. You can use these instances with the data types where it works, and then use `parseRecord` to glue this into your hand-written rest. |
| 2021-06-09 20:11:00 | → | jneira joins (~jneira@166.red-81-39-172.dynamicip.rima-tde.net) |
| 2021-06-09 20:12:12 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-09 20:12:37 | <delYsid> | sm[m]: I am not on Discourse, mostly does to accessibility :-) |
| 2021-06-09 20:12:48 | <delYsid> | s/does/due/ |
| 2021-06-09 20:12:52 | × | haltux quits (~haltux@a89-154-181-47.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-06-09 20:13:18 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 252 seconds) |
| 2021-06-09 20:13:32 | <sm[m]> | ack |
| 2021-06-09 20:17:15 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-09 20:17:42 | → | stefan-_ joins (~cri@42dots.de) |
| 2021-06-09 20:18:31 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-09 20:19:23 | × | fresheye1 quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-06-09 20:23:12 | <c_l_ste> | exit |
| 2021-06-09 20:23:17 | × | jco quits (~jco@c83-248-173-38.bredband.tele2.se) (Ping timeout: 244 seconds) |
| 2021-06-09 20:23:20 | × | c_l_ste quits (~celeste@ip68-12-146-37.ok.ok.cox.net) (Quit: leaving) |
| 2021-06-09 20:25:06 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2021-06-09 20:25:07 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-09 20:28:38 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-09 20:29:26 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-09 20:30:22 | → | spatchkaa joins (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) |
| 2021-06-09 20:31:11 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 268 seconds) |
| 2021-06-09 20:31:45 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-09 20:34:44 | niko | is now known as o |
| 2021-06-09 20:35:17 | → | hiruji joins (~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) |
| 2021-06-09 20:38:08 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-09 20:38:50 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-09 20:40:19 | × | sciencen1 quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 272 seconds) |
| 2021-06-09 20:41:21 | × | MQ-17J quits (~MQ-17J@8.21.10.116) (Ping timeout: 252 seconds) |
| 2021-06-09 20:44:36 | → | MQ-17J joins (~MQ-17J@8.21.10.116) |
| 2021-06-09 20:49:03 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-06-09 20:50:04 | × | michalz quits (~michalz@185.246.204.114) (Remote host closed the connection) |
| 2021-06-09 20:50:40 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds) |
| 2021-06-09 20:52:41 | <jneira> | i think lambdabot got bored in #haskell-es |
| 2021-06-09 20:53:05 | <jneira> | how can i convince it to return? :-) |
| 2021-06-09 20:55:14 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 268 seconds) |
| 2021-06-09 20:55:17 | <maerwald> | hmm, there's no #haskell.de anymore? |
| 2021-06-09 20:56:00 | <monochrom> | Perchance it's renamed to #haskell-de? Or the people in the original #haskell.de don't bother? |
| 2021-06-09 20:56:19 | <ski> | (or are slow to react, perchance) |
| 2021-06-09 20:56:28 | <maerwald> | #haskell-de also empty |
| 2021-06-09 20:56:39 | <jneira> | iirc channel names were normalized in the igration |
| 2021-06-09 20:56:42 | <monochrom> | I know that #haskell.tw took this relocation chance to rename to #haskell-tw |
| 2021-06-09 20:57:34 | <monochrom> | Unix philosophy that "move" and "rename" are the same thing >:) |
| 2021-06-09 20:57:36 | <ski> | it was suggested that `#haskell-*' would be the proper way, to fall under the same jurisdiction |
| 2021-06-09 20:58:37 | × | bruceleewees quits (~bruceleew@83.24.248.233.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2021-06-09 20:59:03 | <ski> | (this also happened to `#haskell.se' -> `#haskell-se', and `#haskell.scandinavian' -> `#haskell-scandinavian') |
| 2021-06-09 20:59:05 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-09 20:59:06 | <monochrom> | Yeah, libera and even previous freenode namespace policy prefers hypthen. But bear in mind that these are just manually followed social constructs, exceptions can happen and don't really fail any algorithm. |
| 2021-06-09 20:59:52 | <maerwald> | well, I tried all permutations |
| 2021-06-09 21:01:52 | <maerwald> | I'm losing my mother tongue to covid, so I thought maybe... |
| 2021-06-09 21:03:02 | <monochrom> | I thought covid didn't attack tongues... >:) |
| 2021-06-09 21:03:13 | <monochrom> | your mother lungs, sure >:) |
| 2021-06-09 21:04:12 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-09 21:04:53 | <maerwald> | ok, so who can give me OP in #haskell-de |
| 2021-06-09 21:04:58 | <maerwald> | I'll talk to myself |
| 2021-06-09 21:05:08 | <maerwald> | (in german) |
| 2021-06-09 21:05:22 | <geekosaur> | see #haskell-ops |
| 2021-06-09 21:05:32 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-09 21:07:35 | <pavonia> | Weird. There's even a Czech & Slovak sub-channel, but they forgot about the Germans? :o |
| 2021-06-09 21:07:51 | <maerwald> | ZE germanz |
| 2021-06-09 21:08:04 | → | dhil joins (~dhil@80.208.56.181) |
| 2021-06-09 21:08:39 | <maerwald> | maybe they're all on freenode? |
| 2021-06-09 21:10:22 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-09 21:10:35 | × | xsperry quits (~as@user/xsperry) (Remote host closed the connection) |
| 2021-06-09 21:10:41 | <ski> | there's two people in the old #haskell.de |
| 2021-06-09 21:10:53 | <ski> | (one might be ChanServ, i guess) |
| 2021-06-09 21:11:01 | → | xsperry joins (~as@user/xsperry) |
| 2021-06-09 21:11:23 | <pavonia> | How many used to be there before the split? |
| 2021-06-09 21:12:18 | <ski> | no idea |
| 2021-06-09 21:12:25 | <ski> | (never been in there) |
| 2021-06-09 21:12:38 | ski | looks at maerwald |
| 2021-06-09 21:13:50 | → | Iryon joins (~Iryon@2a02:a31a:a045:3500:5c9:2f58:8faf:5e52) |
| 2021-06-09 21:14:37 | <maerwald> | never been there either |
| 2021-06-09 21:15:46 | <pavonia> | :D |
| 2021-06-09 21:15:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-06-09 21:16:13 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-09 21:19:46 | <ski> | > sum (zipWith ((fromEnum .) . (/=)) "pavonia" "favonia") |
| 2021-06-09 21:19:47 | <lambdabot> | 1 |
| 2021-06-09 21:22:05 | × | jneira quits (~jneira@166.red-81-39-172.dynamicip.rima-tde.net) (Quit: Connection closed) |
| 2021-06-09 21:22:19 | → | jneira joins (~jneira@166.red-81-39-172.dynamicip.rima-tde.net) |
| 2021-06-09 21:23:08 | pavonia | should rename to phavonia for even more confusion |
| 2021-06-09 21:23:50 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-09 21:24:06 | <monochrom> | I heard that sometimes "v" means "b" and/or vice versa. |
| 2021-06-09 21:24:35 | <monochrom> | or maybe "v" means "beta" |
| 2021-06-09 21:24:50 | <favonia> | favonia |
All times are in UTC.