Newest at the top
| 2025-10-31 10:52:51 +0100 | trickard_ | trickard |
| 2025-10-31 10:43:35 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) |
| 2025-10-31 10:41:08 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 10:41:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-31 10:39:21 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 10:38:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-31 10:35:14 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-10-31 10:31:48 +0100 | Googulator54 | (~Googulato@team.broadbit.hu) |
| 2025-10-31 10:28:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 10:25:33 +0100 | <lambdabot> | Consider it noted. |
| 2025-10-31 10:25:33 +0100 | <tomsmeding> | @tell kuribas Sure, free monads end up as a bunch of uninspectable closures, but that's because (>>=)'s typing does that: there are monad operation calls inside a closure argument to (>>=). With applicatives, there are no (<*>) or pure calls inside a closure, so there is still black-box computation, but the Applicative structure is all visible |
| 2025-10-31 10:19:55 +0100 | bggd | (~bgg@2a01:e0a:819:1510:aa28:625d:5af8:625b) |
| 2025-10-31 10:08:33 +0100 | acidjnk | (~acidjnk@p200300d6e71719308df0744f2dc6c30e.dip0.t-ipconnect.de) acidjnk |
| 2025-10-31 10:07:52 +0100 | chele | (~chele@user/chele) chele |
| 2025-10-31 10:05:23 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-31 10:05:09 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-31 10:01:10 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-31 10:00:29 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-31 09:55:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-31 09:54:38 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) (Ping timeout: 244 seconds) |
| 2025-10-31 09:54:24 +0100 | remedan_ | (~remedan@78-80-95-79.customers.tmcz.cz) remedan |
| 2025-10-31 09:53:40 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 09:53:28 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 09:46:12 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-10-31 09:45:46 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-31 09:42:55 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-10-31 09:39:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 09:39:45 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d90d:664f:1825:e058) (Ping timeout: 244 seconds) |
| 2025-10-31 09:39:03 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 09:38:49 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 09:37:16 +0100 | Square2 | (~Square@user/square) Square |
| 2025-10-31 09:35:08 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-31 09:34:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 09:33:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 09:32:38 +0100 | kuribas | (~user@2a02:1808:4d:a25a:6fac:8a56:9dbd:1785) (Ping timeout: 260 seconds) |
| 2025-10-31 09:30:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 09:24:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-31 09:23:15 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-10-31 09:20:27 +0100 | <kuribas> | And what it boils down to, injecting closures in your code, has existed before as "dependency injection". |
| 2025-10-31 09:19:49 +0100 | <kuribas> | On top of the ineffeciencies of the free monad approach. |
| 2025-10-31 09:19:35 +0100 | <kuribas> | You don't end up with code that is easier to understand, easier to manipulate. |
| 2025-10-31 09:19:19 +0100 | <kuribas> | tomsmeding: Coming back to our discussion yesterday, the thing about "effect systems" using free monads that I don't like, is that in the end just have a bunch of closures, which are black boxes. |
| 2025-10-31 09:18:58 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 09:18:34 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-10-31 09:17:56 +0100 | kuribas | (~user@2a02:1808:4d:a25a:6fac:8a56:9dbd:1785) kuribas |
| 2025-10-31 09:15:34 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-31 09:14:26 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-31 09:13:31 +0100 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-10-31 09:08:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 09:03:36 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |