Newest at the top
| 2024-12-28 23:56:53 +0100 | <geekosaur> | I want to say you've reinvented CPS, rather than ContT as such |
| 2024-12-28 23:56:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-28 23:56:16 +0100 | housemate | (~housemate@pa49-185-30-217.pa.vic.optusnet.com.au) housemate |
| 2024-12-28 23:55:27 +0100 | <hololeap> | am I reinventing ContT or is this something else? |
| 2024-12-28 23:54:33 +0100 | <hololeap> | runLoop loop = loop (updateAndContinue loop) |
| 2024-12-28 23:54:29 +0100 | <hololeap> | runLoop :: UpdaterLoop m -> m () |
| 2024-12-28 23:54:22 +0100 | <hololeap> | I have this: UpdaterLoop m = m () -> m () |
| 2024-12-28 23:52:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 23:49:04 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-28 23:47:26 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2024-12-28 23:43:49 +0100 | <haskellbridge> | <thirdofmay18081814goya> I'll give it a read ty |
| 2024-12-28 23:43:47 +0100 | <geekosaur> | even if it's about the mtl1 Writer |
| 2024-12-28 23:43:22 +0100 | <geekosaur> | the paper linked at the top of the haddock is probably a good reference |
| 2024-12-28 23:43:19 +0100 | <haskellbridge> | <thirdofmay18081814goya> right ok I see |
| 2024-12-28 23:43:10 +0100 | <geekosaur> | roughly, yes |
| 2024-12-28 23:43:01 +0100 | <haskellbridge> | <thirdofmay18081814goya> geekosaur: uh sorry which one is correct, that "listen" gives us an analog to the "State" monad? |
| 2024-12-28 23:42:54 +0100 | <geekosaur> | it means to run an action in Writer and accumulate the logs from it |
| 2024-12-28 23:42:32 +0100 | <geekosaur> | the second is correct, the first sounds a little weird |
| 2024-12-28 23:42:10 +0100 | <haskellbridge> | <thirdofmay18081814goya> in fact "listen" should give us an analog to the "State" monad right? |
| 2024-12-28 23:41:26 +0100 | <haskellbridge> | <thirdofmay18081814goya> "listen" should just be understood as a function to add to the current log the logs from some other Writer monad right? |
| 2024-12-28 23:40:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-28 23:39:31 +0100 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-12-28 23:39:01 +0100 | <haskellbridge> | <thirdofmay18081814goya> anyone got examples of "pass" or "listen" with the Writer monadf/ |
| 2024-12-28 23:35:08 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-12-28 23:33:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 23:27:44 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2024-12-28 23:22:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-28 23:21:19 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-28 23:18:52 +0100 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-12-28 23:18:39 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
| 2024-12-28 23:17:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 23:11:52 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-28 23:06:38 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-28 23:06:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-28 23:05:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2024-12-28 23:01:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 22:51:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-28 22:49:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-28 22:44:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-28 22:42:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-28 22:42:50 +0100 | Digitteknohippie | Digit |
| 2024-12-28 22:41:22 +0100 | <hellwolf> | anyways, I think I will give up again on this inquiry, for now. |
| 2024-12-28 22:41:11 +0100 | <hellwolf> | even if I did that, not sure what kind constraint injected could be utilized for testing purpose. |
| 2024-12-28 22:40:05 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-12-28 22:39:37 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-28 22:34:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-12-28 22:33:35 +0100 | <haskellbridge> | <hellwolf> probably the good old CPP can help?! |
| 2024-12-28 22:33:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-28 22:28:35 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) |
| 2024-12-28 22:28:16 +0100 | euleritian | (~euleritia@dynamic-176-006-135-074.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |