Logs: liberachat/#haskell
| 2026-04-09 15:35:48 | → | crazazy joins (crazazy@tilde.town) |
| 2026-04-09 15:35:49 | → | welterde joins (welterde@thinkbase.srv.welterde.de) |
| 2026-04-09 15:35:52 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 2026-04-09 15:35:52 | ChanServ | sets mode +v yahb2 |
| 2026-04-09 15:35:53 | → | hamishmack joins (sid389057@2a03:5180:f:4::5:efc1) |
| 2026-04-09 15:35:54 | → | S11001001 joins (sid42510@2a03:5180:f:3::a60e) |
| 2026-04-09 15:35:59 | × | totbwf quits (sid402332@id-402332.uxbridge.irccloud.com) (Changing host) |
| 2026-04-09 15:35:59 | → | totbwf joins (sid402332@user/totbwf) |
| 2026-04-09 15:37:51 | → | uli-fem joins (~uli-fem@115.128.112.118) |
| 2026-04-09 15:39:09 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 15:42:58 | × | uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 276 seconds) |
| 2026-04-09 15:44:16 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 276 seconds) |
| 2026-04-09 15:44:38 | → | PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 15:46:31 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-04-09 15:47:23 | → | Ging joins (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2026-04-09 15:47:34 | → | uli-fem joins (~uli-fem@115.128.112.118) |
| 2026-04-09 15:47:57 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 15:49:28 | × | PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 276 seconds) |
| 2026-04-09 15:52:12 | × | uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 268 seconds) |
| 2026-04-09 15:52:41 | → | PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 15:52:41 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 248 seconds) |
| 2026-04-09 15:53:37 | → | Guest62 joins (~Guest62@p200300ca8f313400f8e75d167df70e33.dip0.t-ipconnect.de) |
| 2026-04-09 15:53:45 | × | Ging quits (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 248 seconds) |
| 2026-04-09 15:56:59 | × | PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 245 seconds) |
| 2026-04-09 15:57:08 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 16:01:50 | → | PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 16:02:04 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds) |
| 2026-04-09 16:04:57 | × | Hafydd quits (~Hafydd@user/hafydd) (Ping timeout: 248 seconds) |
| 2026-04-09 16:06:18 | × | PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 256 seconds) |
| 2026-04-09 16:06:20 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 16:08:53 | → | uli-fem joins (~uli-fem@115.128.112.118) |
| 2026-04-09 16:11:19 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds) |
| 2026-04-09 16:11:23 | → | Ging joins (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2026-04-09 16:12:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2026-04-09 16:13:29 | × | uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 248 seconds) |
| 2026-04-09 16:16:05 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 16:18:11 | × | Ging quits (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 272 seconds) |
| 2026-04-09 16:18:47 | → | PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 16:20:43 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 272 seconds) |
| 2026-04-09 16:23:15 | × | PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 244 seconds) |
| 2026-04-09 16:23:25 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 16:24:04 | → | Hafydd joins (~Hafydd@user/hafydd) |
| 2026-04-09 16:27:04 | → | PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 16:28:35 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds) |
| 2026-04-09 16:32:22 | × | PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 276 seconds) |
| 2026-04-09 16:32:52 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 16:34:43 | → | Ging joins (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2026-04-09 16:35:23 | × | sp1ff quits (~user@2601:1c2:4080:14c0::ace8) (Remote host closed the connection) |
| 2026-04-09 16:36:05 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-09 16:36:48 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-04-09 16:37:24 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 245 seconds) |
| 2026-04-09 16:37:41 | → | PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 16:40:44 | × | Ging quits (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 245 seconds) |
| 2026-04-09 16:41:59 | × | PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 245 seconds) |
| 2026-04-09 16:42:56 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 16:43:32 | → | uli-fem joins (~uli-fem@115.128.112.118) |
| 2026-04-09 16:47:38 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 244 seconds) |
| 2026-04-09 16:48:35 | × | uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 272 seconds) |
| 2026-04-09 16:51:03 | → | PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 16:53:22 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 16:55:14 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-09 16:56:06 | × | PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 268 seconds) |
| 2026-04-09 16:57:58 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 244 seconds) |
| 2026-04-09 16:58:47 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-09 16:59:37 | jmcantrell_ | is now known as jmcantrell |
| 2026-04-09 17:01:01 | → | Ging joins (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2026-04-09 17:01:25 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 17:03:06 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-04-09 17:05:55 | → | danz90119 joins (~danza@user/danza) |
| 2026-04-09 17:06:12 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds) |
| 2026-04-09 17:07:13 | → | PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 17:07:39 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-04-09 17:08:04 | × | Ging quits (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 256 seconds) |
| 2026-04-09 17:11:05 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 17:12:02 | × | PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 256 seconds) |
| 2026-04-09 17:15:49 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 272 seconds) |
| 2026-04-09 17:16:58 | → | uli-fem joins (~uli-fem@115.128.112.118) |
| 2026-04-09 17:17:26 | → | PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 17:19:02 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 17:20:46 | → | tromp joins (~textual@2001:1c00:340e:2700:8dcf:a6d6:339b:7a0) |
| 2026-04-09 17:21:18 | × | uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 255 seconds) |
| 2026-04-09 17:22:25 | × | PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 276 seconds) |
| 2026-04-09 17:24:03 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 272 seconds) |
| 2026-04-09 17:26:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-09 17:28:08 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 17:30:13 | → | Ging joins (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2026-04-09 17:30:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-09 17:32:43 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds) |
| 2026-04-09 17:33:20 | → | PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 17:35:07 | × | tromp quits (~textual@2001:1c00:340e:2700:8dcf:a6d6:339b:7a0) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-09 17:36:56 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-04-09 17:37:39 | × | Ging quits (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 268 seconds) |
| 2026-04-09 17:38:16 | × | PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 268 seconds) |
| 2026-04-09 17:41:27 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 246 seconds) |
| 2026-04-09 17:41:35 | <monochrom> | (Belated) Strictly (pun!) speaking, Haskell spec doesn't even require lazy evaluation, only non-strictness (see? >:) ). |
| 2026-04-09 17:41:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-09 17:42:36 | → | PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-04-09 17:43:23 | <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:44:17 | <danz90119> | am i wrong or non-strict evaluation could be called simply call by name? |
| 2026-04-09 17:44:43 | <monochrom> | Yes. Mine is not call by name. |
All times are in UTC.