Newest at the top
| 2025-05-12 22:55:52 +0200 | <monochrom> | Now, what is that called? Answer: Dependency injection. >:) |
| 2025-05-12 22:55:03 +0200 | <monochrom> | You can do mock testing by picking something else for m. If you pick the free monad for m, then write one interpreter for IO, another interpreter for mock testing. |
| 2025-05-12 22:54:06 +0200 | jespada | (~jespada@r179-25-209-21.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-12 22:53:00 +0200 | jespada | (~jespada@r179-25-209-21.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-12 22:51:11 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e0:5b80:95fd:7897:b476:7002) |
| 2025-05-12 22:51:03 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e0:5b80:95fd:7897:b476:7002) (Remote host closed the connection) |
| 2025-05-12 22:51:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-12 22:50:15 +0200 | sw4n | (~sw4n@2605:59c0:413f:3110:831:13fb:a2fa:9c07) (Remote host closed the connection) |
| 2025-05-12 22:49:45 +0200 | sw4n | (~sw4n@2605:59c0:413f:3110:831:13fb:a2fa:9c07) |
| 2025-05-12 22:48:51 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-12 22:48:46 +0200 | <EvanR> | (and I'm not even sure what the consequences are, unless you pick m = IO) |
| 2025-05-12 22:48:01 +0200 | <EvanR> | instead of doing step :: VM -> IO VM, do step :: Monad m => (Char -> m ()) -> (m Char) -> VM -> m VM and now your algorithm is parameterized by all monads ever |
| 2025-05-12 22:48:00 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-12 22:48:00 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:10e0:5b80:95fd:7897:b476:7002) |
| 2025-05-12 22:46:36 +0200 | <EvanR> | everybody knows that if you make an algebraic data type to represent the actions and string them together with lambdas in just the right way you're doing the free monad. Now what is this called |
| 2025-05-12 22:44:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 22:43:45 +0200 | Square2 | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2025-05-12 22:42:24 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) (Read error: Connection reset by peer) |
| 2025-05-12 22:42:05 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-12 22:41:18 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-12 22:40:31 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-05-12 22:38:39 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) |
| 2025-05-12 22:38:23 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) (Remote host closed the connection) |
| 2025-05-12 22:33:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-12 22:31:48 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-12 22:29:36 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-12 22:29:19 +0200 | euleritian | (~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-12 22:28:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 22:24:41 +0200 | natto17 | (~natto@129.154.243.159) natto |
| 2025-05-12 22:24:19 +0200 | rvalue- | rvalue |
| 2025-05-12 22:19:45 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2025-05-12 22:19:32 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-05-12 22:19:06 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) |
| 2025-05-12 22:18:52 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) (Remote host closed the connection) |
| 2025-05-12 22:17:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-12 22:17:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-12 22:16:28 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-12 22:12:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 22:11:35 +0200 | natto17 | (~natto@129.154.243.159) (Ping timeout: 260 seconds) |
| 2025-05-12 22:06:34 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-12 22:01:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-12 21:56:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 21:55:27 +0200 | euleritian | (~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) |
| 2025-05-12 21:53:51 +0200 | euleritian | (~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-12 21:52:31 +0200 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.6.2) |
| 2025-05-12 21:48:06 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-12 21:46:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-12 21:43:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-05-12 21:41:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 21:39:45 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |