Logs: liberachat/#haskell
| 2021-06-09 05:38:59 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-09 05:40:32 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-09 05:42:08 | → | Guest78 joins (~Guest78@115.236.91.18) |
| 2021-06-09 05:42:36 | <Guest78> | hello all |
| 2021-06-09 05:46:07 | → | danidiaz joins (~ESDPC@static-35-0-85-188.ipcom.comunitel.net) |
| 2021-06-09 05:47:49 | <Axman6> | Hello |
| 2021-06-09 05:48:09 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-06-09 05:48:14 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-06-09 05:48:52 | → | TheRAt joins (~TheRAt@user/therat) |
| 2021-06-09 05:50:32 | × | zmt01 quits (~zmt00@user/zmt00) (Quit: Gone.) |
| 2021-06-09 05:50:43 | × | Guest78 quits (~Guest78@115.236.91.18) (Quit: Client closed) |
| 2021-06-09 05:52:20 | <guest61> | aha, compile ghc on arm successfully |
| 2021-06-09 05:52:28 | <Axman6> | noice |
| 2021-06-09 05:53:57 | <guest61> | by the way, there's an error in that configure file |
| 2021-06-09 05:54:23 | <guest61> | gcc -V -qversion , those two parameters are invalid |
| 2021-06-09 05:55:28 | <Axman6> | if it's the ghc configure file, this isn't really the place to report it, the GHC gitlab is probably a better place (perhaps asking in #ghc might help) |
| 2021-06-09 05:56:27 | <guest61> | ok |
| 2021-06-09 05:56:43 | → | statusbot1 joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2021-06-09 05:56:52 | → | Codaraxis_ joins (~Codaraxis@89.45.7.142) |
| 2021-06-09 05:57:16 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2021-06-09 05:57:21 | × | Codaraxis quits (~Codaraxis@89.45.7.142) (Read error: Connection reset by peer) |
| 2021-06-09 05:57:21 | × | arjun quits (~user@user/arjun) (Ping timeout: 244 seconds) |
| 2021-06-09 05:57:27 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-06-09 05:57:31 | × | aerona quits (~aerona@2600:6c54:4600:f300:7c57:ac62:2191:e44b) (Read error: Connection reset by peer) |
| 2021-06-09 05:57:47 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-09 05:58:40 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2021-06-09 06:01:44 | × | chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) (Quit: Leaving) |
| 2021-06-09 06:01:57 | → | chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) |
| 2021-06-09 06:04:43 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-09 06:07:17 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-09 06:13:29 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-06-09 06:13:53 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 244 seconds) |
| 2021-06-09 06:13:59 | → | yd502_ joins (~yd502@180.168.212.6) |
| 2021-06-09 06:14:57 | → | bryan[m] joins (~bchreekat@2001:470:69fc:105::16b5) |
| 2021-06-09 06:24:44 | × | xff0x_ quits (~xff0x@2001:1a81:52c9:6b00:ad16:d7f9:3b66:59f3) (Ping timeout: 244 seconds) |
| 2021-06-09 06:25:37 | → | xff0x_ joins (~xff0x@2001:1a81:52c9:6b00:a719:2b91:3f7b:5d25) |
| 2021-06-09 06:26:20 | × | ridcully quits (~ridcully@pd951f269.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-06-09 06:27:02 | → | ridcully joins (~ridcully@p508ac428.dip0.t-ipconnect.de) |
| 2021-06-09 06:27:02 | × | Sgeo_ quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-06-09 06:28:04 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 250 seconds) |
| 2021-06-09 06:28:11 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-09 06:28:26 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-09 06:29:04 | xerox_ | is now known as xerox |
| 2021-06-09 06:29:37 | → | yd502_ joins (~yd502@180.168.212.6) |
| 2021-06-09 06:30:00 | → | tose joins (~tose@ip-85-160-1-181.eurotel.cz) |
| 2021-06-09 06:30:33 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-09 06:32:29 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 244 seconds) |
| 2021-06-09 06:33:31 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-09 06:33:34 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-09 06:34:19 | → | chele joins (~chele@user/chele) |
| 2021-06-09 06:35:27 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 252 seconds) |
| 2021-06-09 06:37:38 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-06-09 06:38:16 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-06-09 06:39:12 | × | derelict quits (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Ping timeout: 244 seconds) |
| 2021-06-09 06:40:51 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-09 06:41:45 | <dminuoso> | optics question. would you rather use `each %> someIx` or `traversed % someIx`? I cant for my life decide which one is better. |
| 2021-06-09 06:41:56 | dminuoso | is bikeshedding quite hard here |
| 2021-06-09 06:42:20 | <c_wraith> | is each anything like lens's each? |
| 2021-06-09 06:43:32 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-09 06:43:36 | <c_wraith> | ah, yes it is. |
| 2021-06-09 06:43:39 | <dminuoso> | c_wraith: Yeah, except it's fixed to be an indexed traversal |
| 2021-06-09 06:43:57 | <c_wraith> | I'd prefer traversed anywhere it works |
| 2021-06-09 06:44:44 | <dminuoso> | c_wraith: The key difference is that in optics, `traversed` is a non-indexed traversal, and `each` gives a guaranteed indexed traversal. |
| 2021-06-09 06:45:04 | <dminuoso> | And (%) forbids composition if both sides are indexed (requiring you to explicitly opt into <%> which (,)'s the indexes together |
| 2021-06-09 06:45:50 | <c_wraith> | Each is the weird ad-hoc class that does whatever someone decided it should. I kind of don't like that. |
| 2021-06-09 06:46:04 | <c_wraith> | well, there's itraversed |
| 2021-06-09 06:46:21 | <c_wraith> | Not quite as universal as traversed, but it's a lot more obvious what it does |
| 2021-06-09 06:46:29 | <dminuoso> | I guess the primary motivation of each is to support tuples |
| 2021-06-09 06:46:47 | <dminuoso> | There's also the bit that `each` reads nicely in the optics DSL.. :p |
| 2021-06-09 06:47:04 | → | hmmmas joins (~chenqisu1@183.217.201.236) |
| 2021-06-09 06:47:56 | → | michalz joins (~michalz@185.246.204.125) |
| 2021-06-09 06:48:30 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2021-06-09 06:48:30 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 244 seconds) |
| 2021-06-09 06:50:48 | × | chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) (Remote host closed the connection) |
| 2021-06-09 06:51:01 | <dminuoso> | or well, I guess that's not entirely true. the index types get combined at the type level, but many combinators require only a single index |
| 2021-06-09 06:51:08 | → | nschoe joins (~quassel@178.251.84.79) |
| 2021-06-09 06:51:12 | → | chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) |
| 2021-06-09 06:51:26 | <dminuoso> | (i.e. (%) allows composition just fine, but most of the time your optic must have only a single index type) |
| 2021-06-09 06:51:40 | <dminuoso> | c_wraith: Yeah I guess. |
| 2021-06-09 06:53:03 | × | tose quits (~tose@ip-85-160-1-181.eurotel.cz) (Remote host closed the connection) |
| 2021-06-09 06:53:09 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 244 seconds) |
| 2021-06-09 06:54:11 | → | jophish joins (~jophish@2001:470:69fc:105::670) |
| 2021-06-09 06:54:17 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-09 06:55:13 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 244 seconds) |
| 2021-06-09 06:55:25 | × | dunkeln quits (~dunkeln@94.129.65.28) (Quit: leaving) |
| 2021-06-09 06:56:20 | → | yd502_ joins (~yd502@180.168.212.6) |
| 2021-06-09 06:57:23 | → | yd502__ joins (~yd502@180.168.212.6) |
| 2021-06-09 06:58:33 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 252 seconds) |
| 2021-06-09 06:59:37 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-09 07:00:55 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 264 seconds) |
| 2021-06-09 07:01:27 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-09 07:01:50 | → | nsilv joins (~nsilv@212.103.198.210) |
| 2021-06-09 07:01:56 | × | yd502__ quits (~yd502@180.168.212.6) (Ping timeout: 244 seconds) |
| 2021-06-09 07:03:07 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:69cc:8900:882e:bc6e) |
| 2021-06-09 07:09:41 | × | xff0x_ quits (~xff0x@2001:1a81:52c9:6b00:a719:2b91:3f7b:5d25) (Ping timeout: 244 seconds) |
| 2021-06-09 07:10:46 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-09 07:10:48 | → | xff0x_ joins (~xff0x@port-92-195-66-229.dynamic.as20676.net) |
| 2021-06-09 07:12:52 | o | is now known as niko |
| 2021-06-09 07:13:54 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-09 07:14:30 | → | Bartosz joins (~textual@24.35.90.211) |
All times are in UTC.