Newest at the top
| 2025-01-31 23:55:50 +0100 | Guest74 | (~Guest74@81-231-8-142-no600.tbcn.telia.com) (Quit: Client closed) |
| 2025-01-31 23:52:34 +0100 | jespada_ | (~jespada@2800:a4:2215:4d00:ec45:7066:f4f:e5b9) (Client Quit) |
| 2025-01-31 23:51:55 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-31 23:51:50 +0100 | jespada | (~jespada@2800:a4:2215:4d00:f4db:a20a:5385:e4e) (Ping timeout: 265 seconds) |
| 2025-01-31 23:50:13 +0100 | jespada_ | (~jespada@2800:a4:2215:4d00:ec45:7066:f4f:e5b9) jespada |
| 2025-01-31 23:46:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-31 23:46:21 +0100 | ozkutuk | (~ozkutuk@24.133.86.69) (Quit: Leaving) |
| 2025-01-31 23:41:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-31 23:40:07 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-31 23:37:02 +0100 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-01-31 23:36:47 +0100 | jespada | (~jespada@2800:a4:2215:4d00:f4db:a20a:5385:e4e) jespada |
| 2025-01-31 23:35:33 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-01-31 23:30:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-31 23:28:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-31 23:26:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-31 23:23:43 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-31 23:22:30 +0100 | ubert1 | ubert |
| 2025-01-31 23:22:30 +0100 | ubert | (~Thunderbi@p200300ecdf4e63626546ad8bed5a8da9.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-01-31 23:22:15 +0100 | ubert1 | (~Thunderbi@p200300ecdf4e63eb92aaad72729f1b5d.dip0.t-ipconnect.de) ubert |
| 2025-01-31 23:15:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-31 23:15:21 +0100 | ski | . o O ( "Yield: Mainstream Delimited Continuations" by Roshan P. James,Amr Sabry in 2009 (?) at <https://legacy.cs.indiana.edu/~sabry/papers/yield.pdf> ) |
| 2025-01-31 23:13:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-31 23:11:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-31 23:08:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-31 23:00:47 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-01-31 23:00:10 +0100 | <ski> | (iirc Jean-Yves Girard's "Proofs and Types" (translated and with appendices by Paul Taylor,Yves Lafont) in 1989,1990,2003 at <https://www.paultaylor.eu/stable/prot.pdf> talks a little about that topic) |
| 2025-01-31 23:00:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-31 22:55:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-31 22:47:27 +0100 | <dolio> | Because mathematicians foolishly ignore things like performance. |
| 2025-01-31 22:46:57 +0100 | <dolio> | The math says that a Church encoding is a valid implementation of an algebraic data type, even though it has different performance characteristics than usually expected. |
| 2025-01-31 22:45:49 +0100 | <dolio> | My point is, the math doesn't tell you how to implement it. It tells you what operations need to be implemented, and some equations they follow. |
| 2025-01-31 22:44:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-31 22:43:53 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-01-31 22:42:38 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-01-31 22:42:06 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2025-01-31 22:42:02 +0100 | <EvanR> | pure result >>= rest of the code |
| 2025-01-31 22:41:51 +0100 | <EvanR> | mentally note the side effects of whatever library action, then replace with the result >>= the rest of the code |
| 2025-01-31 22:41:26 +0100 | <EvanR> | more like a free monad |
| 2025-01-31 22:41:19 +0100 | <EvanR> | not state tokens |
| 2025-01-31 22:37:34 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-31 22:35:07 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-31 22:34:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-31 22:33:48 +0100 | <ski> | ("your spaces are dropped, all of them" -- well, not on C64. but it does tokenize the keywords to single bytes) |
| 2025-01-31 22:33:41 +0100 | <dolio> | Or, the particular implementation of algebraic data types you actually get. |
| 2025-01-31 22:33:04 +0100 | <monochrom> | :( |
| 2025-01-31 22:32:33 +0100 | <dolio> | Who says using algebraic data types is mathematical? |
| 2025-01-31 22:32:12 +0100 | <monochrom> | perhaps s/functions/emulating continuations by functions/ |
| 2025-01-31 22:31:40 +0100 | <monochrom> | Maybe a good analogy is: free monads perform better if you use the CPS version. Now go one step further and use GHC-native continuations instead of functions. |
| 2025-01-31 22:29:52 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-31 22:29:37 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |