| 2025-07-07 00:01:56 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 00:04:37 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:04:38 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-07 00:04:41 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 00:05:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 00:07:26 +0200 | Square | (~Square@user/square) Square |
| 2025-07-07 00:07:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:07:54 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-07-07 00:09:32 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:12:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-07 00:13:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:15:18 +0200 | sprotte24 | (~sprotte24@p200300d16f1e120088364b39f940d5b9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-07-07 00:16:05 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:20:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:24:34 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-07-07 00:25:56 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 00:26:11 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 00:26:27 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-07-07 00:26:41 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:28:48 +0200 | d34db33f | (~d34db33f@user/d34db33f) d34db33f |
| 2025-07-07 00:33:44 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:35:26 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:40:21 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 00:43:04 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 00:46:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:46:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 00:48:46 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 00:53:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 00:54:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:00:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:00:11 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-07 01:02:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 01:02:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:06:42 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2025-07-07 01:12:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:18:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:20:59 +0200 | acidjnk | (~acidjnk@p200300d6e70b6617f5ff0309ff474427.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-07-07 01:22:27 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-07-07 01:22:59 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:23:21 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:25:27 +0200 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-07 01:31:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 01:32:32 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 01:32:47 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 01:35:31 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:36:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-07 01:38:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:39:58 +0200 | falafel | (~falafel@79.117.174.28) (Remote host closed the connection) |
| 2025-07-07 01:42:53 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:43:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-07-07 01:44:31 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:45:22 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 01:47:15 +0200 | laurapigeon | (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3) |
| 2025-07-07 01:49:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 01:49:50 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-07 01:51:44 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:52:33 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-07 01:53:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 01:53:28 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-07-07 01:53:59 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-07-07 01:54:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 01:55:52 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 01:58:38 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-07 01:58:56 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 244 seconds) |
| 2025-07-07 02:02:42 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:03:18 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-07 02:04:29 +0200 | jespada | (~jespada@r190-133-27-142.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 2025-07-07 02:06:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 02:07:25 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:10:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 02:11:15 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:11:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:14:55 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 02:18:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-07 02:18:41 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:19:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-07 02:23:05 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:23:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 02:28:57 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 02:29:18 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 02:29:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 02:30:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-07 02:32:54 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 02:34:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:34:22 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 02:35:22 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 02:38:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:41:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-07-07 02:42:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:42:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-07 02:42:35 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 02:44:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 02:47:32 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:48:25 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-07 02:48:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-07 02:49:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:49:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-07 02:53:21 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2025-07-07 02:53:52 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 02:56:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 02:56:45 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 02:59:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:00:57 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-07-07 03:02:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:02:32 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 03:03:06 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-07 03:04:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fbc2:ef19:a73d:48c5) (Ping timeout: 248 seconds) |
| 2025-07-07 03:05:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:08:13 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 03:08:23 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 03:08:38 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 03:09:09 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-07 03:09:14 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 03:09:23 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:13:38 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:15:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:16:20 +0200 | JayKobe6k | (~jbarber@108.234.212.24) |
| 2025-07-07 03:16:32 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 03:17:46 +0200 | <JayKobe6k> | Hello everyone. Is there a name for a traverse type that constrains the kind of the f result to Monad instead of just Applicative? |
| 2025-07-07 03:19:52 +0200 | <EvanR> | traverse specialized to Monad will not work for you? |
| 2025-07-07 03:20:04 +0200 | <EvanR> | since any Monad is an applicative |
| 2025-07-07 03:21:15 +0200 | <JayKobe6k> | No, because in order to define a traverse instance it has to work for all applicative |
| 2025-07-07 03:21:49 +0200 | <JayKobe6k> | I have a scenario where I have a structure that has (what I think is) a valid traverse instance, but only when you have a Monad |
| 2025-07-07 03:22:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:25:40 +0200 | <Axman6> | Want to share the code? |
| 2025-07-07 03:26:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:27:03 +0200 | <Axman6> | traverse doesn't need anything Monad offers, so I'd be surprised if it can't be written using just Applicative |
| 2025-07-07 03:30:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:30:31 +0200 | <JayKobe6k> | Give me a minute to convert it in to haskell.. I'm working in scala (technical constraints... what I'm making has to run on the jvm) |
| 2025-07-07 03:30:58 +0200 | <geekosaur> | something to consider is that before `traverse` there was `mapM` |
| 2025-07-07 03:30:59 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:32:12 +0200 | <JayKobe6k> | I'm trying to write a scripting language using recursion schemes and need to model while loops and conditionals. And to do so the traversal needs to behave differently depending on the result of a predicate expression, which to me implies that it needs monad |
| 2025-07-07 03:34:19 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 03:34:59 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-07 03:35:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:40:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:43:18 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-07-07 03:43:37 +0200 | <JayKobe6k> | https://gist.github.com/Jacoby6000/c9b6dedd7043933e5b5ca1199857b61b There's also an issue where I need to somehow get to a bool from the `a` on the predicates. I was planning on doing some dirty java code to work around that. |
| 2025-07-07 03:44:39 +0200 | <JayKobe6k> | This is very much a work in progress. Little things are still being worked on, like invocations will be modeled as App a a eventually. Just slowly working up to that. My current hand-rolled interpreter wouldn't support it |
| 2025-07-07 03:45:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:47:24 +0200 | <JayKobe6k> | Lines 26 and 27 are the ones in question in that gist |
| 2025-07-07 03:47:41 +0200 | <JayKobe6k> | With a monad I can use ifM and whileM |
| 2025-07-07 03:48:09 +0200 | <JayKobe6k> | Kind of thinking I'll just have to write my own specialized recursion stuff for this |
| 2025-07-07 03:48:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 03:49:21 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 03:53:02 +0200 | <JayKobe6k> | I think I need selective functors https://simonmar.github.io/slides/Selective%20Applicative%20Functors%20%28Copenhagen%20April%20201… |
| 2025-07-07 03:53:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 03:54:43 +0200 | <geekosaur> | https://hackage.haskell.org/package/selective |
| 2025-07-07 03:55:00 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-07-07 03:55:32 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 03:56:04 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 03:57:06 +0200 | ski | (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 2025-07-07 03:57:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-07 03:58:21 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-07 03:59:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:00:18 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2025-07-07 04:01:44 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 04:02:05 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 04:02:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 04:03:42 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 04:06:14 +0200 | ski | (~ski@remote11.chalmers.se) ski |
| 2025-07-07 04:06:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:07:17 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-07 04:12:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-07 04:12:50 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 04:13:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 04:16:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:16:54 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 04:18:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 04:18:08 +0200 | <Leary> | JayKobe6k: Whether you're using `Applicative`, `Selective` or `Monad`, that's not going to work out---you need to `f` /all/ of your `a`s equally or you won't have the `b`s to rebuild the data. Your language's control logic really shouldn't have any bearing on the `Traversable` instance anyway, put that in a fold or `hylo` or whatever. |
| 2025-07-07 04:19:34 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-07 04:20:45 +0200 | <JayKobe6k> | How would I write that in to a fold? I'm not super familiar with the unfold side of things, but afaiu there's no way to do conditional branching in a fold because the subtrees are all evaluated by the time I get to choose which branch I want |
| 2025-07-07 04:21:58 +0200 | <Leary> | I assume scala supports some form of opt-in laziness. |
| 2025-07-07 04:22:11 +0200 | <JayKobe6k> | Ah I see |
| 2025-07-07 04:22:11 +0200 | <Leary> | Like using `() -> a` instead of `a`. |
| 2025-07-07 04:23:02 +0200 | <JayKobe6k> | The typeclass lib I'm using provides an Eval a to model laziness in a nice way. I'll probably use that. Thanks for the recommendation! |
| 2025-07-07 04:25:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:27:44 +0200 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 244 seconds) |
| 2025-07-07 04:29:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 04:29:30 +0200 | td_ | (~td@i53870936.versanet.de) |
| 2025-07-07 04:32:22 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 04:32:26 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-07-07 04:32:27 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 04:33:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:34:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 04:35:17 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit) |
| 2025-07-07 04:36:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:36:56 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 04:37:15 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 04:40:57 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:40:59 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 04:42:06 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-07 04:42:46 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 04:43:24 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-07 04:43:49 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-07 04:46:19 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 04:46:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 04:46:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-07 04:48:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 04:51:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 04:56:25 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 04:57:44 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:00:49 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-07 05:01:52 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:02:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 05:02:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-07-07 05:03:34 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 05:04:06 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 05:06:00 +0200 | j1n37- | (~j1n37@user/j1n37) (Client Quit) |
| 2025-07-07 05:06:25 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-07-07 05:06:41 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 05:07:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 05:07:47 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:09:43 +0200 | kimjetwav | (~user@2607:fea8:25a3:a100:9a03:8363:4504:2e7) (Remote host closed the connection) |
| 2025-07-07 05:12:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 05:12:54 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 05:13:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 05:14:29 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-07-07 05:15:45 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 05:16:15 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 05:17:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-07 05:18:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-07 05:18:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 05:19:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:26:04 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 05:28:10 +0200 | trickard_ | trickard |
| 2025-07-07 05:32:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 05:35:23 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:41:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 05:44:34 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 05:44:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 05:46:58 +0200 | JayKobe6k | (~jbarber@108.234.212.24) (Quit: WeeChat 4.6.3) |
| 2025-07-07 05:48:07 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 05:53:05 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 05:53:26 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 05:53:28 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Quit: No Ping reply in 180 seconds.) |
| 2025-07-07 05:54:37 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-07-07 05:54:42 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2025-07-07 05:55:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 05:57:08 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 05:59:09 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Read error: Connection reset by peer) |
| 2025-07-07 05:59:10 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 05:59:47 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-07-07 05:59:50 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 06:00:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 06:01:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 06:01:47 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:04:37 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit) |
| 2025-07-07 06:08:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 06:09:06 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:10:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-07 06:12:20 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:17:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:21:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:22:23 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-07 06:23:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:24:20 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 06:27:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:31:12 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 06:32:27 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:37:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:38:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:42:39 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:46:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:49:50 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 06:51:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:52:37 +0200 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 06:53:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 06:55:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-07 06:57:59 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 06:59:31 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 07:02:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:05:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 07:07:04 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 245 seconds) |
| 2025-07-07 07:08:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:13:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 07:15:54 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-07 07:17:13 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 07:18:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 07:28:05 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 07:30:39 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 07:31:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 07:32:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 07:32:54 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 272 seconds) |
| 2025-07-07 07:33:37 +0200 | aaronv_ | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2025-07-07 07:35:25 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 07:35:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:36:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 07:39:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 07:39:31 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-07 07:39:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-07-07 07:45:56 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 07:48:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 07:52:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-07 07:53:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 07:55:22 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 07:56:54 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-07 07:59:35 +0200 | takuan_dozo | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-07 07:59:35 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-07-07 08:00:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:02:01 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:02:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:03:27 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-07 08:04:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 08:05:23 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:08:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:08:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-07 08:12:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:12:34 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 08:13:09 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-07 08:14:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 08:17:47 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-07-07 08:18:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:21:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-07 08:23:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:26:03 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 08:26:10 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-07 08:27:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:34:51 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 08:38:09 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:38:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889) |
| 2025-07-07 08:42:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 08:43:34 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Remote host closed the connection) |
| 2025-07-07 08:44:52 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-07 08:45:47 +0200 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2025-07-07 08:46:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-07 08:47:39 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2025-07-07 08:48:24 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 08:49:32 +0200 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-07-07 08:49:35 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-07-07 08:49:42 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:50:54 +0200 | img | (~img@user/img) img |
| 2025-07-07 08:51:47 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit) |
| 2025-07-07 08:53:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:53:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 08:54:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 08:57:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 08:58:01 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 09:00:01 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-07 09:00:42 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-07 09:00:42 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:02:15 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-07-07 09:02:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-07 09:03:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:06:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:06:28 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 09:07:09 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 09:07:34 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: The Lounge - https://thelounge.github.io) |
| 2025-07-07 09:07:55 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2025-07-07 09:09:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:10:34 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-07-07 09:10:34 +0200 | prdak1 | prdak |
| 2025-07-07 09:12:47 +0200 | Digitteknohippie | Digigt |
| 2025-07-07 09:12:53 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-07 09:12:54 +0200 | Digigt | Digit |
| 2025-07-07 09:13:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-07 09:14:14 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 09:14:25 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-07 09:17:24 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-07-07 09:17:44 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 09:19:20 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 09:19:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:20:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-07 09:21:05 +0200 | MaybeMonad | (~MaybeMona@user/MaybeMonad) MaybeMonad |
| 2025-07-07 09:22:12 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:25:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:25:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-07-07 09:26:15 +0200 | MaybeMonad | (~MaybeMona@user/MaybeMonad) (Ping timeout: 260 seconds) |
| 2025-07-07 09:26:50 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 09:27:00 +0200 | acidjnk | (~acidjnk@p200300d6e70b66173880acc259d889d5.dip0.t-ipconnect.de) acidjnk |
| 2025-07-07 09:27:43 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 09:40:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 09:41:19 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-07 09:43:04 +0200 | random-jellyfish | (~developer@90.167.21.162) |
| 2025-07-07 09:43:04 +0200 | random-jellyfish | (~developer@90.167.21.162) (Changing host) |
| 2025-07-07 09:43:04 +0200 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
| 2025-07-07 09:44:43 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-07 09:46:38 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2025-07-07 09:47:02 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 09:47:23 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-07 09:48:37 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-07-07 09:48:38 +0200 | prdak1 | prdak |
| 2025-07-07 09:49:17 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-07 09:56:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 09:59:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:02:33 +0200 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 2025-07-07 10:04:59 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:10:13 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 10:11:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:15:46 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 10:16:04 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (Quit: [_________]) |
| 2025-07-07 10:17:31 +0200 | [_________] | (~oos95GWG@user/oos95GWG) oos95GWG |
| 2025-07-07 10:21:23 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:22:17 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 10:25:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:26:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:29:37 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 10:29:50 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 10:31:36 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-07 10:31:58 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-07-07 10:35:30 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-07-07 10:35:54 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:40:28 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 10:42:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:43:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-07 10:43:40 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 10:45:11 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-07 10:45:17 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 10:45:39 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:46:47 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:48:36 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-07 10:50:14 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-07 10:51:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 10:52:59 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-07 10:53:44 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 245 seconds) |
| 2025-07-07 10:54:48 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 10:55:09 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 10:57:09 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 11:01:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:02:07 +0200 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-07-07 11:02:28 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-07 11:02:29 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-07 11:04:12 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:04:13 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-07 11:07:21 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds) |
| 2025-07-07 11:08:55 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
| 2025-07-07 11:10:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:12:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 11:13:37 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:16:24 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 11:19:26 +0200 | kaskal | (~kaskal@2a02:8388:15bf:c200:2968:f867:8a66:34b3) (Quit: ZNC - https://znc.in) |
| 2025-07-07 11:19:46 +0200 | kaskal | (~kaskal@84-115-231-2.cable.dynamic.surfer.at) kaskal |
| 2025-07-07 11:21:21 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-07-07 11:21:25 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:22:47 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:26:34 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 11:29:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:33:09 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Quit: Leaving) |
| 2025-07-07 11:34:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 11:34:57 +0200 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.6.3) |
| 2025-07-07 11:35:15 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 11:37:47 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 11:39:51 +0200 | trickard_ | trickard |
| 2025-07-07 11:40:24 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-07-07 11:45:21 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-07-07 11:45:59 +0200 | cstml | (~Thunderbi@user/cstml) cstml |
| 2025-07-07 11:46:39 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-07 11:48:32 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 11:50:28 +0200 | cstml | (~Thunderbi@user/cstml) (Client Quit) |
| 2025-07-07 11:52:58 +0200 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde |
| 2025-07-07 11:54:52 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 11:57:20 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 11:57:32 +0200 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 252 seconds) |
| 2025-07-07 12:03:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:03:48 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 12:04:02 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 12:05:08 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 12:08:46 +0200 | senoraraton | (~senorarat@4.sub-75-238-52.myvzw.com) SenoraRaton |
| 2025-07-07 12:09:12 +0200 | <senoraraton> | If it walks like a duck and talks like a duck, but doesn't compose — it's not a real monad. |
| 2025-07-07 12:10:05 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:13:29 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-07-07 12:14:01 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 12:14:04 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-07-07 12:14:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:17:33 +0200 | <__monty__> | Aren't monads a bit notorious for not composing? Hence transformers and entire effect systems? |
| 2025-07-07 12:18:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:20:55 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-07 12:21:04 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-07-07 12:22:16 +0200 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-07-07 12:26:16 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 12:27:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:28:37 +0200 | JamesMowery173 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-07-07 12:31:12 +0200 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 272 seconds) |
| 2025-07-07 12:31:13 +0200 | JamesMowery173 | JamesMowery17 |
| 2025-07-07 12:31:40 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 12:31:46 +0200 | trickard_ | trickard |
| 2025-07-07 12:32:14 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 12:34:44 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-07 12:35:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-07-07 12:36:04 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-07 12:37:45 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-07-07 12:42:56 +0200 | <[exa]> | __monty__: I guess there's difference between composing with other types vs composing with themselves |
| 2025-07-07 12:43:28 +0200 | <[exa]> | like getting "compose int->int with string->string" and going "aaaaa functions don't compose" :D |
| 2025-07-07 12:45:41 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-07 12:50:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:53:26 +0200 | <__monty__> | Fair enough, though I haven't seen >>= called "monad composition." |
| 2025-07-07 12:54:42 +0200 | <[exa]> | >=> ? |
| 2025-07-07 12:55:08 +0200 | <[exa]> | anyway yeah this nomenclature for composition there is shaky |
| 2025-07-07 12:56:24 +0200 | <[exa]> | hey btw I stumbled upon this recently, looks like a pretty good way to do websites (kinda refreshing after all these post-jekyll static site deployers): https://www.forester-notes.org/index/index.xml |
| 2025-07-07 12:56:32 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-07 12:56:52 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 12:57:15 +0200 | <[exa]> | kinda wondering if there would be a simpler one for haskell, with pandoc and stuff...so that I could tear out that weird markup they're using :D |
| 2025-07-07 12:57:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:57:41 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 12:59:53 +0200 | <Leary> | [exa]: That's quite a direct analogy there; a monad M on a category C corresponds to G . F for some adjunction F : C <-> D : G, and adjunctions /do/ compose like functions, giving rise to composition of monads. But a `C <-> D` wants to compose with a `D <-> _`, not another `C <-> _`---trying to compose monads on Hask is a "type error", unless the first is also /to/ Hask. |
| 2025-07-07 13:01:23 +0200 | <[exa]> | oh cool |
| 2025-07-07 13:01:35 +0200 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-07 13:03:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:04:16 +0200 | <__monty__> | You lost me at "adjunction." o.o |
| 2025-07-07 13:06:23 +0200 | <__monty__> | Forester looks similar to some Zettelkasten utilities I've seen. Not dissimilar to a Wiki with disciplined reference use. |
| 2025-07-07 13:07:55 +0200 | <dutchie> | you can compose monads with distributive laws too: https://inv.alid.pw/posts/kleisli-lifting-distributive/ |
| 2025-07-07 13:10:47 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 13:12:40 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 13:14:07 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 13:14:22 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:14:32 +0200 | <[exa]> | __monty__: it got me at the "graphy" views of stuff, certainly in a nice sweet spot between plain old wiki and wikidata or so |
| 2025-07-07 13:19:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 13:21:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a424:5b9:4dc2:8889) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-07 13:22:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:23:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 13:25:48 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-07-07 13:26:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-07 13:28:59 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:30:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 13:32:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-07-07 13:33:49 +0200 | chele | (~chele@user/chele) chele |
| 2025-07-07 13:35:49 +0200 | acidjnk | (~acidjnk@p200300d6e70b66173880acc259d889d5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-07 13:35:54 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:36:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5f6e:f18b:47bc:a644) |
| 2025-07-07 13:42:41 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 13:43:09 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 13:47:59 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 13:51:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 13:57:48 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 13:58:02 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 13:58:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 2025-07-07 13:58:23 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 14:09:01 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-07-07 14:14:22 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 14:15:01 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 14:16:18 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 14:16:40 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 14:19:17 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 14:19:48 +0200 | acidjnk | (~acidjnk@p200300d6e70b6617f54dbe6cdef613d5.dip0.t-ipconnect.de) acidjnk |
| 2025-07-07 14:20:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-07-07 14:25:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-07 14:26:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 14:29:17 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 14:29:24 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-07 14:31:29 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 14:35:07 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-07 14:35:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 14:36:05 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 14:37:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 14:38:09 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds) |
| 2025-07-07 14:38:44 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-07-07 14:39:57 +0200 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-07 14:43:05 +0200 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-07 14:45:28 +0200 | AlexZenon | (~alzenon@178.34.151.27) (Ping timeout: 252 seconds) |
| 2025-07-07 14:45:37 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 14:46:40 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-07 14:49:28 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-07-07 14:49:41 +0200 | AlexZenon | (~alzenon@178.34.151.27) |
| 2025-07-07 14:50:04 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-07-07 14:51:30 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 14:52:23 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-07-07 14:53:52 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 14:56:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 14:57:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 15:00:05 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-07-07 15:02:01 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-07 15:03:31 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 15:03:44 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 15:04:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 15:05:43 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 15:11:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) |
| 2025-07-07 15:11:59 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 15:12:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 15:15:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-07 15:15:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 15:19:45 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-07-07 15:20:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 15:20:20 +0200 | myme | (~myme@2a01:799:d5e:5f00:b35a:74:d167:4c1e) (Ping timeout: 260 seconds) |
| 2025-07-07 15:21:18 +0200 | myme | (~myme@2a01:799:d5e:5f00:757b:b311:fe85:f818) myme |
| 2025-07-07 15:23:15 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 15:28:23 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 15:29:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 15:29:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 15:30:42 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 15:30:56 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 15:32:45 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-07-07 15:33:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 15:34:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 15:35:59 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-07 15:38:12 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-07 15:40:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-07 15:40:51 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-07 15:56:15 +0200 | falafel | (~falafel@syn-076-094-081-093.res.spectrum.com) falafel |
| 2025-07-07 15:56:18 +0200 | falafel | (~falafel@syn-076-094-081-093.res.spectrum.com) (Remote host closed the connection) |
| 2025-07-07 16:03:15 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-07 16:06:26 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-07 16:10:32 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-07 16:12:16 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-07 16:15:16 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-07 16:16:09 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 268 seconds) |
| 2025-07-07 16:22:50 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 16:23:03 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 16:23:48 +0200 | <probie> | Is there a way to do something like `data L = L1 | L2` and `data Foo (xs :: [L]) where { T1 :: (In L1 xs) => Foo xs; T2 :: (In L2 xs) => Foo xs } in a way that GHC can make reasonable sense of it? |
| 2025-07-07 16:25:38 +0200 | poscat0x04 | (~poscat@user/poscat) (Quit: Bye) |
| 2025-07-07 16:25:51 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-07 16:28:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-07 16:28:25 +0200 | <Leary> | probie: What issue does GHC have with that? It looks fine to me. |
| 2025-07-07 16:29:34 +0200 | c0d3x | (~c0d3x@user/c0d3x) c0d3x |
| 2025-07-07 16:29:49 +0200 | <probie> | If I pattern match on a `Foo '[L1]` it doesn't know that `T2` isn't a possible constructor |
| 2025-07-07 16:34:32 +0200 | <ski> | OWA ? |
| 2025-07-07 16:35:48 +0200 | trickard_ | trickard |
| 2025-07-07 16:38:14 +0200 | <tomsmeding> | probie: works for me https://play.haskell.org/saved/ogiXl7OC |
| 2025-07-07 16:38:23 +0200 | <tomsmeding> | perhaps you've defined 'In' differently? |
| 2025-07-07 16:40:05 +0200 | <Leary> | Yeah, I also just got done writing this, which works too: https://play.haskell.org/saved/Ytw9qxKB |
| 2025-07-07 16:40:17 +0200 | <tomsmeding> | (also, ski: outlook web access?) |
| 2025-07-07 16:40:40 +0200 | tomsmeding | suspects that probie expressed 'In' using a type class |
| 2025-07-07 16:41:44 +0200 | <ski> | (Open-World Assumption) |
| 2025-07-07 16:41:51 +0200 | <tomsmeding> | ah |
| 2025-07-07 16:42:05 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 16:42:32 +0200 | <tomsmeding> | the space of three-letter acrynoms is crowded :) |
| 2025-07-07 16:42:39 +0200 | <tomsmeding> | *acronyms |
| 2025-07-07 16:42:46 +0200 | <tomsmeding> | not sure what an acrynom would be |
| 2025-07-07 16:43:16 +0200 | <Leary> | Eating while crying. :) |
| 2025-07-07 16:43:22 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-07 16:43:23 +0200 | <tomsmeding> | :D |
| 2025-07-07 16:43:36 +0200 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-07-07 16:46:04 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 16:47:12 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-07 16:51:16 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 16:55:02 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-07 16:55:05 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-07 16:56:00 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-07-07 16:57:21 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-07-07 16:58:15 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-07 17:04:13 +0200 | Digitteknohippie | Digit |
| 2025-07-07 17:04:37 +0200 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) (Remote host closed the connection) |
| 2025-07-07 17:04:51 +0200 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) m_a_r_k |
| 2025-07-07 17:06:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-07 17:17:55 +0200 | <probie> | tomsmeding: I'm out of practice doing fun things with types, so defaulted to what I would have done 15 years ago |
| 2025-07-07 17:19:33 +0200 | <tomsmeding> | probie: type classes here have the downside that they're "open world": more instances could be added later, and the compiler wants to ensure that your code doesn't break when that happens |
| 2025-07-07 17:19:37 +0200 | <tomsmeding> | hence it's very conservative |
| 2025-07-07 17:20:09 +0200 | <tomsmeding> | Leary and I wrote a _closed_ type family (as opposed to an "open type family", which also exists); a closed type family is, naturally, closed-world, hence GHC does not have to be conservative |
| 2025-07-07 17:26:36 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-07 17:30:12 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-07 17:31:15 +0200 | sprotte24 | (~sprotte24@p200300d16f270a0099c32b2a8c6f04e1.dip0.t-ipconnect.de) |
| 2025-07-07 17:39:59 +0200 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-07-07 17:41:21 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-07 17:42:28 +0200 | <ski> | (in the logic/relational programming, and knowledge representation world, "OWA" and "CWA" (Closed-World Assumption), are rather common terms) |
| 2025-07-07 17:43:37 +0200 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-07 17:48:51 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-07 17:52:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-07 17:57:24 +0200 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-07 17:59:15 +0200 | jespada | (~jespada@r167-61-130-196.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-07 18:01:37 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-07 18:02:27 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.3) |
| 2025-07-07 18:03:07 +0200 | trickard_ | trickard |
| 2025-07-07 18:04:41 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |