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)