Logs: liberachat/#haskell
| 2021-07-16 08:44:54 | → | pfurla_ joins (~pfurla@216.131.83.59) |
| 2021-07-16 08:45:47 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-41ac-4f6d-ec7a-91a2.fixed6.kpn.net) |
| 2021-07-16 08:48:00 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2021-07-16 08:49:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-16 08:52:07 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-16 08:53:22 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-07-16 08:56:18 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-07-16 08:56:34 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-16 08:59:55 | → | hmmmas joins (~fidnc@183.217.200.171) |
| 2021-07-16 09:00:08 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-07-16 09:02:51 | → | neurocyte joins (~neurocyte@45.136.170.21) |
| 2021-07-16 09:02:51 | × | neurocyte quits (~neurocyte@45.136.170.21) (Changing host) |
| 2021-07-16 09:02:51 | → | neurocyte joins (~neurocyte@user/neurocyte) |
| 2021-07-16 09:04:09 | × | gzj quits (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 09:04:19 | × | oso quits (~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Ping timeout: 246 seconds) |
| 2021-07-16 09:04:27 | → | gzj joins (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 09:09:53 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-16 09:10:33 | → | KUrare joins (~KUrare@user/kurare) |
| 2021-07-16 09:14:27 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-07-16 09:17:21 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-16 09:17:24 | × | pfurla_ quits (~pfurla@216.131.83.59) (Ping timeout: 252 seconds) |
| 2021-07-16 09:18:45 | × | azeem quits (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-07-16 09:19:04 | → | azeem joins (~azeem@176.200.202.21) |
| 2021-07-16 09:19:43 | → | laguneucl joins (~Pitsikoko@2a02:587:dc04:e00:12c3:7bff:fe6d:d374) |
| 2021-07-16 09:20:20 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 252 seconds) |
| 2021-07-16 09:20:26 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-16 09:23:28 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-16 09:23:48 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-07-16 09:28:54 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-07-16 09:29:06 | × | xsperry quits (~as@user/xsperry) () |
| 2021-07-16 09:30:18 | × | azeem quits (~azeem@176.200.202.21) (Ping timeout: 255 seconds) |
| 2021-07-16 09:30:36 | → | azeem joins (~azeem@176.200.202.21) |
| 2021-07-16 09:35:42 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-16 09:36:17 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-16 09:39:43 | → | CookE[] joins (~thedawn@user/thedawn) |
| 2021-07-16 09:40:00 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-16 09:42:28 | × | laguneucl quits (~Pitsikoko@2a02:587:dc04:e00:12c3:7bff:fe6d:d374) (Ping timeout: 246 seconds) |
| 2021-07-16 09:43:10 | × | chomwitt quits (~Pitsikoko@2a02:587:dc04:e00:12c3:7bff:fe6d:d374) (Ping timeout: 246 seconds) |
| 2021-07-16 09:43:10 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-16 09:43:27 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 09:43:44 | × | hmmmas quits (~fidnc@183.217.200.171) (Quit: Leaving.) |
| 2021-07-16 09:44:42 | × | lechner quits (~lechner@debian/lechner) (Quit: WeeChat 3.0) |
| 2021-07-16 09:46:14 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-07-16 09:46:25 | → | lechner joins (~lechner@debian/lechner) |
| 2021-07-16 09:57:00 | × | azeem quits (~azeem@176.200.202.21) (Ping timeout: 252 seconds) |
| 2021-07-16 09:58:09 | → | azeem joins (~azeem@176.200.202.21) |
| 2021-07-16 09:58:45 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-118.prtc.net) (Quit: Client closed) |
| 2021-07-16 10:00:11 | × | gzj quits (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 10:00:29 | → | gzj joins (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 10:01:08 | × | gzj quits (~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection) |
| 2021-07-16 10:01:27 | → | gzj joins (~GZJ0X@199.193.127.138.16clouds.com) |
| 2021-07-16 10:01:39 | → | kuribas joins (~user@ptr-25vy0iagiqui74r0v9f.18120a2.ip6.access.telenet.be) |
| 2021-07-16 10:02:24 | → | xsperry joins (~as@user/xsperry) |
| 2021-07-16 10:03:11 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-118.prtc.net) |
| 2021-07-16 10:03:53 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-16 10:09:06 | × | azeem quits (~azeem@176.200.202.21) (Ping timeout: 252 seconds) |
| 2021-07-16 10:09:20 | → | azeem joins (~azeem@176.200.202.21) |
| 2021-07-16 10:09:20 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-16 10:09:33 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 10:10:02 | → | burnside_ joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 10:10:02 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-16 10:11:01 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 10:11:01 | × | burnside_ quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Write error: Connection reset by peer) |
| 2021-07-16 10:11:52 | → | burnside_ joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 10:11:52 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-16 10:12:23 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 10:12:23 | × | burnside_ quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-16 10:15:42 | × | keutoi quits (~keutoi@157.47.18.91) (Ping timeout: 252 seconds) |
| 2021-07-16 10:16:38 | × | KUrare quits (~KUrare@user/kurare) (Remote host closed the connection) |
| 2021-07-16 10:17:02 | → | KUrare joins (~KUrare@user/kurare) |
| 2021-07-16 10:19:02 | → | keutoi joins (~keutoi@157.47.18.91) |
| 2021-07-16 10:24:30 | × | azeem quits (~azeem@176.200.202.21) (Ping timeout: 252 seconds) |
| 2021-07-16 10:24:52 | → | azeem joins (~azeem@176.200.202.21) |
| 2021-07-16 10:25:10 | × | CookE[] quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 2021-07-16 10:26:12 | × | lambdap quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 2021-07-16 10:26:29 | → | lambdap joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2021-07-16 10:27:08 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-16 10:27:28 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-16 10:30:09 | × | thonkpod quits (~thonkpod@user/thonkpod) (Ping timeout: 255 seconds) |
| 2021-07-16 10:32:40 | aravk_ | is now known as aravk |
| 2021-07-16 10:35:47 | <maerwald> | Any nice way to get around the MonadReader limitation of only being able to provide one environment? I'm thinking to just ditch it altogether |
| 2021-07-16 10:35:56 | <dminuoso> | maerwald: implicit params. |
| 2021-07-16 10:36:11 | <dminuoso> | It's just as good, but composable - and no param passing when you dont need it. :) |
| 2021-07-16 10:36:14 | <maerwald> | they are unsafe no? |
| 2021-07-16 10:36:18 | <dminuoso> | unsafe in what way? |
| 2021-07-16 10:36:34 | <maerwald> | dunno, heard some claims |
| 2021-07-16 10:37:11 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-16 10:38:00 | <dminuoso> | See https://chrisdone.com/posts/whats-wrong-with-implicitparams/ |
| 2021-07-16 10:38:08 | <dminuoso> | And https://old.reddit.com/r/haskell/comments/m8o88a/who_still_uses_readert/grkh17q/ |
| 2021-07-16 10:38:33 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 10:39:58 | <maerwald> | so it breaks type inference |
| 2021-07-16 10:41:01 | <maerwald> | i think explicit params might be the solution :p |
| 2021-07-16 10:41:03 | <Taneb> | maerwald: if you're comfortable using lens there's Magnify in https://hackage.haskell.org/package/lens-5.0.1/docs/Control-Lens-Zoom.html |
| 2021-07-16 10:43:34 | <maerwald> | Taneb: isn't that just splitting environment into smaller parts, tree-wise? But you still need to construct the entirety of it? |
| 2021-07-16 10:43:59 | → | thonkpod joins (~thonkpod@user/thonkpod) |
| 2021-07-16 10:43:59 | <maerwald> | My problem is that part of the env requires network calls to be constructed, the other doesn't |
| 2021-07-16 10:44:35 | <maerwald> | I'm able to hack around it with unsafeInterleaveIO, but that makes exception handling a horror story |
| 2021-07-16 10:45:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 10:46:24 | <Taneb> | maerwald: ah, yeah |
| 2021-07-16 10:50:43 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
All times are in UTC.