Newest at the top
| 2026-04-09 17:44:17 +0000 | <danz90119> | am i wrong or non-strict evaluation could be called simply call by name? |
| 2026-04-09 17:43:23 +0000 | <monochrom> | My favourite non-strict evaluation order is crazy evaluation. Other people know it as speculative evaluation. To evaluate `f x`, fork two threads, one evaluates f and the other evalutates x, and you are ready to throw away the latter if you find out that you don't need it. |
| 2026-04-09 17:42:36 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 17:41:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-09 17:41:35 +0000 | <monochrom> | (Belated) Strictly (pun!) speaking, Haskell spec doesn't even require lazy evaluation, only non-strictness (see? >:) ). |
| 2026-04-09 17:41:27 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 246 seconds) |
| 2026-04-09 17:38:16 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 268 seconds) |
| 2026-04-09 17:37:39 +0000 | Ging | (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 268 seconds) |
| 2026-04-09 17:36:56 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 17:35:07 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dcf:a6d6:339b:7a0) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-09 17:33:20 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 17:32:43 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds) |
| 2026-04-09 17:30:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-09 17:30:13 +0000 | Ging | (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2026-04-09 17:28:08 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 17:26:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-09 17:24:03 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 272 seconds) |
| 2026-04-09 17:22:25 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 276 seconds) |
| 2026-04-09 17:21:18 +0000 | uli-fem | (~uli-fem@115.128.112.118) (Ping timeout: 255 seconds) |
| 2026-04-09 17:20:46 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dcf:a6d6:339b:7a0) |
| 2026-04-09 17:19:02 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 17:17:26 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 17:16:58 +0000 | uli-fem | (~uli-fem@115.128.112.118) |
| 2026-04-09 17:15:49 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 272 seconds) |
| 2026-04-09 17:12:02 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 256 seconds) |
| 2026-04-09 17:11:05 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 17:08:04 +0000 | Ging | (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 256 seconds) |
| 2026-04-09 17:07:39 +0000 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-04-09 17:07:13 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 17:06:12 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds) |
| 2026-04-09 17:05:55 +0000 | danz90119 | (~danza@user/danza) danza |
| 2026-04-09 17:03:06 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-04-09 17:01:25 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 17:01:01 +0000 | Ging | (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2026-04-09 16:59:37 +0000 | jmcantrell_ | jmcantrell |
| 2026-04-09 16:58:47 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-09 16:57:58 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 244 seconds) |
| 2026-04-09 16:56:06 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 268 seconds) |
| 2026-04-09 16:55:14 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-09 16:53:22 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 16:51:03 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 16:48:35 +0000 | uli-fem | (~uli-fem@115.128.112.118) (Ping timeout: 272 seconds) |
| 2026-04-09 16:47:38 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 244 seconds) |
| 2026-04-09 16:43:32 +0000 | uli-fem | (~uli-fem@115.128.112.118) |
| 2026-04-09 16:42:56 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 16:41:59 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 245 seconds) |
| 2026-04-09 16:40:44 +0000 | Ging | (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 245 seconds) |
| 2026-04-09 16:37:41 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 16:37:24 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 245 seconds) |
| 2026-04-09 16:36:48 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |