Newest at the top
| 2026-06-17 05:39:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-17 05:38:46 +0000 | polykernel_ | polykernel |
| 2026-06-17 05:38:46 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 276 seconds) |
| 2026-06-17 05:37:23 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-06-17 05:35:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 05:32:01 +0000 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2026-06-17 05:31:37 +0000 | Nosrep | (~jimothy@user/nosrep) (Quit: Konversation terminated!) |
| 2026-06-17 05:25:43 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-17 05:24:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-17 05:23:39 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 245 seconds) |
| 2026-06-17 05:20:19 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-06-17 05:17:29 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 272 seconds) |
| 2026-06-17 05:17:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 05:10:10 +0000 | polykernel_ | polykernel |
| 2026-06-17 05:10:10 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 276 seconds) |
| 2026-06-17 05:08:43 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-06-17 05:06:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-17 05:01:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 04:59:43 +0000 | polykernel_ | polykernel |
| 2026-06-17 04:59:43 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 264 seconds) |
| 2026-06-17 04:57:07 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-06-17 04:52:37 +0000 | polykernel_ | polykernel |
| 2026-06-17 04:52:37 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 276 seconds) |
| 2026-06-17 04:52:21 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-06-17 04:51:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-17 04:50:33 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-06-17 04:50:01 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-06-17 04:46:25 +0000 | divlamir_ | divlamir |
| 2026-06-17 04:46:25 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 245 seconds) |
| 2026-06-17 04:46:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 04:45:07 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-06-17 04:42:19 +0000 | <Leary> | vms14: No need for union/sum/dynamic types: you can obtain a heterogeneous stack by recording the element types in the stack type. E.g. `data Stack xs where { Empty :: Stack '[]; Push :: x -> Stack xs -> Stack (x:xs) }`. |
| 2026-06-17 04:40:10 +0000 | polykernel_ | polykernel |
| 2026-06-17 04:40:09 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 248 seconds) |
| 2026-06-17 04:38:59 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-06-17 04:35:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-17 04:35:19 +0000 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2026-06-17 04:32:37 +0000 | <monochrom> | (the functional data structure guy) |
| 2026-06-17 04:32:18 +0000 | <monochrom> | It was Okasaki IIRC. |
| 2026-06-17 04:31:17 +0000 | <monochrom> | Someone did that and wrote a paper about it. They also posted on a mailing list to report that it took hours to type-check. One of those times showing that type inference takes exponential time. |
| 2026-06-17 04:30:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 04:28:44 +0000 | <vms14> | still it's too soon and i need patience to learn the basics and get familiar with the language |
| 2026-06-17 04:27:27 +0000 | <vms14> | although i have no idea how |
| 2026-06-17 04:27:20 +0000 | <vms14> | and that i should find a way to make a rpn lang that does not need the stack, but it's an illusion made with function composition |
| 2026-06-17 04:27:15 +0000 | <EvanR> | no? |
| 2026-06-17 04:26:57 +0000 | <vms14> | actually i think using a stack and the state monad in general is a failure |
| 2026-06-17 04:26:20 +0000 | <EvanR> | so it can never be invalid |
| 2026-06-17 04:26:13 +0000 | <EvanR> | what you eventually need to do is encode your type system into the stack xD |
| 2026-06-17 04:25:40 +0000 | <EvanR> | which is in haskell leads to a lot of extraneous error calls when the dynamic type is not what you expect |
| 2026-06-17 04:25:10 +0000 | <EvanR> | that there leads to dynamically typed |