2024/11/18

2024-11-18 00:00:24 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2024-11-18 00:00:30 +0100Jeanne-Kamikaze(~Jeanne-Ka@142.147.89.209) (Quit: Leaving)
2024-11-18 00:03:55 +0100vgtw(~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
2024-11-18 00:04:10 +0100werneta_(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2024-11-18 00:04:38 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2024-11-18 00:05:21 +0100ftzm(~ftzm@085080230038.dynamic.telenor.dk) (Ping timeout: 276 seconds)
2024-11-18 00:08:09 +0100vgtw(~vgtw@user/vgtw) vgtw
2024-11-18 00:08:21 +0100Alleria(~Alleria@user/alleria) (Remote host closed the connection)
2024-11-18 00:09:09 +0100Alleria(~Alleria@user/alleria) Alleria
2024-11-18 00:10:08 +0100xff0x(~xff0x@2405:6580:b080:900:ba13:33aa:3901:2450)
2024-11-18 00:18:40 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-11-18 00:19:46 +0100mari-estel(~mari-este@user/mari-estel) (Remote host closed the connection)
2024-11-18 00:20:02 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-11-18 00:21:56 +0100mari-estel(~mari-este@user/mari-estel) (Client Quit)
2024-11-18 00:22:37 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-11-18 00:25:10 +0100zlqrvx(~zlqrvx@user/zlqrvx) (Quit: %quit%)
2024-11-18 00:25:36 +0100acidjnk_new(~acidjnk@p200300d6e7283f99b0ad6825ae812995.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-11-18 00:53:53 +0100divya(~user@139.5.11.231) divya
2024-11-18 00:55:56 +0100 <SrPx> so now that im using haskell for a larger project, monad transformers are unavoidable. but it is somewhat annoying to have chains of lifts. wouldn't it make more sense to have a list of the involved monads, and then a 'pick' that selects the one you want? like, `x <- pick M_IO $ something` instead of `x <- lift $ lift $ something`
2024-11-18 00:57:17 +0100 <Axman6> that's basically what MTL is
2024-11-18 00:57:48 +0100 <SrPx> oh, just learned about it. cool
2024-11-18 00:57:52 +0100 <glguy> monad transformers are not an inevitability of large projects
2024-11-18 00:59:09 +0100 <glguy> at most they can be an implementation detail of your more-specific monads that you are defining
2024-11-18 01:00:26 +0100xal(~xal@mx1.xal.systems) xal
2024-11-18 01:00:26 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2024-11-18 01:01:25 +0100 <Axman6> yeah the RIO approach (or similar ReaderT Env IO ideas) get you a very long way. it's pretty easy to do things like `inDB :: DB a -> ReaderT Env IO a` which runs a transaction inside your reader
2024-11-18 01:02:48 +0100sprotte24(~sprotte24@p200300d16f2c3600a1fb2e60ac56d901.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-11-18 01:10:06 +0100Everything(~Everythin@178-133-36-30.mobile.vf-ua.net) (Ping timeout: 246 seconds)
2024-11-18 01:12:25 +0100hiredman(~hiredman@frontier1.downey.family) hiredman
2024-11-18 01:12:33 +0100hiredman(~hiredman@frontier1.downey.family) (Client Quit)
2024-11-18 01:12:51 +0100hiredman(~hiredman@frontier1.downey.family) hiredman
2024-11-18 01:16:22 +0100athan(~athan@syn-173-042-095-241.biz.spectrum.com) athan
2024-11-18 01:19:23 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-11-18 01:19:49 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2024-11-18 01:20:44 +0100Lord_of_Life_Lord_of_Life
2024-11-18 01:28:41 +0100mari-estel(~mari-este@user/mari-estel) (Remote host closed the connection)
2024-11-18 01:29:23 +0100tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2024-11-18 01:29:29 +0100tomboy65(~tomboy64@user/tomboy64) tomboy64
2024-11-18 01:35:24 +0100rvalue-(~rvalue@user/rvalue) rvalue
2024-11-18 01:36:10 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2024-11-18 01:37:23 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-18 01:39:24 +0100 <Leary> SrPx: Note that if you use 'mtl' monad-polymorphically then performance will become unreliable for cross-module inlining reasons. Consider using a modern effect system like 'effectful' or 'bluefin' instead.
2024-11-18 01:40:39 +0100athan(~athan@syn-173-042-095-241.biz.spectrum.com) (Ping timeout: 260 seconds)
2024-11-18 01:41:30 +0100rvalue-rvalue
2024-11-18 01:53:45 +0100oxide(~lambda@user/oxide) (Ping timeout: 252 seconds)
2024-11-18 01:54:53 +0100j1n37(j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-11-18 01:59:15 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-18 02:05:57 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 248 seconds)
2024-11-18 02:09:33 +0100son0p(~ff@2800:e2:f80:ee7::4) son0p
2024-11-18 02:18:24 +0100son0p(~ff@2800:e2:f80:ee7::4) (Remote host closed the connection)
2024-11-18 02:19:23 +0100son0p(~ff@2800:e2:f80:ee7::4) son0p
2024-11-18 02:23:06 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-11-18 02:35:56 +0100tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2024-11-18 02:41:41 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 248 seconds)
2024-11-18 02:43:12 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-18 02:43:43 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-18 02:53:23 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-18 02:53:53 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-18 03:03:34 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-18 03:04:04 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-18 03:13:44 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-18 03:14:15 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-18 03:17:36 +0100ZLima12(~zlima12@user/meow/ZLima12) ()
2024-11-18 03:20:04 +0100ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2024-11-18 03:23:56 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-18 03:24:27 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-18 03:28:33 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2024-11-18 03:34:07 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-18 03:34:37 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-18 03:35:41 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2024-11-18 03:35:59 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2024-11-18 03:44:18 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-18 03:44:48 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-18 03:54:29 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-18 03:54:59 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-18 03:56:21 +0100Inst(~Inst@user/Inst) (Ping timeout: 246 seconds)
2024-11-18 04:03:59 +0100rvalue-(~rvalue@user/rvalue) rvalue
2024-11-18 04:04:40 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-18 04:04:40 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2024-11-18 04:05:11 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-18 04:08:14 +0100rvalue-rvalue
2024-11-18 04:14:51 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-18 04:15:21 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-18 04:24:44 +0100xff0x(~xff0x@2405:6580:b080:900:ba13:33aa:3901:2450) (Ping timeout: 260 seconds)
2024-11-18 04:25:34 +0100td_(~td@i5387090C.versanet.de) (Ping timeout: 252 seconds)
2024-11-18 04:27:45 +0100willscripted(~willscrip@user/willscripted) (Ping timeout: 248 seconds)
2024-11-18 04:32:41 +0100turlando(~turlando@user/turlando) ()
2024-11-18 04:32:51 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-18 04:33:21 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-18 04:37:58 +0100turlando(~turlando@user/turlando) turlando
2024-11-18 04:42:48 +0100shapr(~user@2600:4040:5c49:5600:cd62:8744:52b3:406b) (Quit: sleeyp)
2024-11-18 04:43:02 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-18 04:43:33 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-18 04:51:33 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-18 05:02:31 +0100notzmv(~daniel@user/notzmv) (Ping timeout: 264 seconds)
2024-11-18 05:21:54 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-11-18 05:32:03 +0100troydm(~troydm@user/troydm) (Ping timeout: 245 seconds)
2024-11-18 05:35:08 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal)
2024-11-18 05:36:52 +0100Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2024-11-18 05:38:53 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 252 seconds)
2024-11-18 05:45:14 +0100Leary(~Leary@user/Leary/x-0910699) Leary
2024-11-18 05:48:57 +0100xff0x(~xff0x@106.178.114.108)
2024-11-18 05:57:33 +0100michalz(~michalz@185.246.207.197)
2024-11-18 06:53:50 +0100werneta_(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 272 seconds)
2024-11-18 07:13:32 +0100notzmv(~daniel@user/notzmv) notzmv
2024-11-18 07:14:21 +0100vanishing(~vanishing@user/vanishingideal) (Ping timeout: 276 seconds)
2024-11-18 07:24:00 +0100briandaed(~root@user/briandaed) briandaed
2024-11-18 07:27:51 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-11-18 07:30:04 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-11-18 07:37:04 +0100euleritian(~euleritia@77.22.252.159) (Ping timeout: 260 seconds)
2024-11-18 07:38:42 +0100euleritian(~euleritia@dynamic-176-004-231-188.176.4.pool.telefonica.de)
2024-11-18 07:44:04 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-11-18 07:53:59 +0100acidjnk_new(~acidjnk@p200300d6e7283f6925a61425bb02ca09.dip0.t-ipconnect.de) acidjnk
2024-11-18 08:01:06 +0100xff0x(~xff0x@106.178.114.108) (Ping timeout: 248 seconds)
2024-11-18 08:15:44 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-18 08:25:18 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-11-18 08:39:29 +0100acidjnk_new(~acidjnk@p200300d6e7283f6925a61425bb02ca09.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2024-11-18 08:39:53 +0100pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2024-11-18 08:44:49 +0100Square2(~Square4@user/square) Square
2024-11-18 08:45:13 +0100pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2024-11-18 08:45:46 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-18 08:51:02 +0100ft(~ft@p4fc2a26f.dip0.t-ipconnect.de) (Quit: leaving)
2024-11-18 08:53:52 +0100acidjnk_new(~acidjnk@p200300d6e7283f69701fb6560bc0f0be.dip0.t-ipconnect.de) acidjnk
2024-11-18 08:59:58 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-11-18 09:00:03 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-11-18 09:00:29 +0100rvalue(~rvalue@user/rvalue) rvalue
2024-11-18 09:00:42 +0100caconym(~caconym@user/caconym) caconym
2024-11-18 09:06:47 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2024-11-18 09:08:40 +0100fr33domlover(~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat)
2024-11-18 09:14:02 +0100misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish
2024-11-18 09:35:03 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-11-18 09:35:09 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-11-18 09:36:37 +0100euleritian(~euleritia@dynamic-176-004-231-188.176.4.pool.telefonica.de) (Read error: Connection reset by peer)
2024-11-18 09:36:54 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de)
2024-11-18 09:48:10 +0100chele(~chele@user/chele) chele
2024-11-18 09:54:17 +0100xff0x(~xff0x@2405:6580:b080:900:e7b6:fba6:14b7:d70c)
2024-11-18 09:57:37 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-18 10:02:49 +0100lockywolf(~lockywolf@coconut.lockywolf.net) (Read error: Connection reset by peer)
2024-11-18 10:05:45 +0100alphazoneunalmasIRC
2024-11-18 10:06:48 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-18 10:08:56 +0100Digitteknohippie(~user@user/digit) Digit
2024-11-18 10:09:04 +0100Digit(~user@user/digit) (Ping timeout: 244 seconds)
2024-11-18 10:11:15 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-11-18 10:11:22 +0100euleritian(~euleritia@dynamic-176-004-231-188.176.4.pool.telefonica.de)
2024-11-18 10:14:46 +0100kuribas(~user@ptr-17d51eowbvu84pzojhe.18120a2.ip6.access.telenet.be)
2024-11-18 10:19:26 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-11-18 10:19:59 +0100misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 260 seconds)
2024-11-18 10:32:19 +0100Alleria(~Alleria@user/alleria) (Ping timeout: 244 seconds)
2024-11-18 10:34:48 +0100__monty__(~toonn@user/toonn) toonn
2024-11-18 10:36:07 +0100Alleria(~Alleria@user/alleria) Alleria
2024-11-18 10:45:28 +0100euleritian(~euleritia@dynamic-176-004-231-188.176.4.pool.telefonica.de) (Read error: Connection reset by peer)
2024-11-18 10:45:45 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de)
2024-11-18 10:45:54 +0100misterfish(~misterfis@31-161-39-137.biz.kpn.net) misterfish
2024-11-18 10:47:58 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-11-18 10:52:39 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-11-18 10:52:55 +0100mari-estel(~mari-este@user/mari-estel) mari-estel
2024-11-18 10:55:41 +0100Vajb(~Vajb@n7m8bu6eaitlx0eukg2-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds)
2024-11-18 10:56:55 +0100Vajb(~Vajb@n84e9ei03jkqt6rm3ev-1.v6.elisa-mobile.fi)
2024-11-18 10:59:34 +0100mari15224(~mari-este@user/mari-estel) mari-estel
2024-11-18 11:02:59 +0100mari-estel(~mari-este@user/mari-estel) (Ping timeout: 260 seconds)
2024-11-18 11:03:24 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-11-18 11:06:13 +0100euleritian(~euleritia@dynamic-176-004-231-188.176.4.pool.telefonica.de)
2024-11-18 11:24:49 +0100son0p(~ff@2800:e2:f80:ee7::4) (Ping timeout: 248 seconds)
2024-11-18 11:24:57 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-11-18 11:27:33 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds)
2024-11-18 11:33:25 +0100pavonia(~user@user/siracusa) siracusa
2024-11-18 11:43:34 +0100zlqrvx(~zlqrvx@user/zlqrvx) zlqrvx
2024-11-18 11:47:04 +0100jinsun(~jinsun@user/jinsun) (Ping timeout: 272 seconds)
2024-11-18 11:49:34 +0100jinsun(~jinsun@user/jinsun) jinsun
2024-11-18 12:04:50 +0100DigitteknohippieDigit
2024-11-18 12:07:23 +0100Digit(~user@user/digit) (Remote host closed the connection)
2024-11-18 12:09:10 +0100Digit(~user@user/digit) Digit
2024-11-18 12:10:03 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-11-18 12:15:52 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2)
2024-11-18 12:18:34 +0100euleritian(~euleritia@dynamic-176-004-231-188.176.4.pool.telefonica.de) (Read error: Connection reset by peer)
2024-11-18 12:18:52 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de)
2024-11-18 12:38:12 +0100SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2024-11-18 12:44:08 +0100Guest59(~Guest25@2402:3a80:413e:e883:2944:58c2:e568:454c)
2024-11-18 12:44:56 +0100mari15224(~mari-este@user/mari-estel) (Remote host closed the connection)
2024-11-18 12:45:41 +0100Guest59(~Guest25@2402:3a80:413e:e883:2944:58c2:e568:454c) ()