Logs: liberachat/#haskell
| 2026-03-05 18:14:19 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2026-03-05 18:16:28 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-05 18:16:36 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-03-05 18:16:41 | → | tusko joins (~uwu@user/tusko) |
| 2026-03-05 18:17:36 | → | durstloescher joins (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 18:18:24 | × | durstloescher quits (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 18:21:39 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-05 18:23:49 | × | opqdonut__ quits (opqdonut@pseudo.fixme.fi) (Ping timeout: 276 seconds) |
| 2026-03-05 18:25:18 | → | opqdonut__ joins (opqdonut@pseudo.fixme.fi) |
| 2026-03-05 18:25:59 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-05 18:26:50 | → | tusko joins (~uwu@user/tusko) |
| 2026-03-05 18:31:04 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-03-05 18:38:07 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-03-05 18:41:26 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-03-05 18:47:56 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-03-05 18:53:39 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 245 seconds) |
| 2026-03-05 18:56:53 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 2026-03-05 19:03:23 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-05 19:03:35 | <chromoblob> | how will you do branching? |
| 2026-03-05 19:03:47 | <chromoblob> | or will you do it in Haskell |
| 2026-03-05 19:04:47 | <ski> | you could do a `cond ifTrue ifFalse' construct, i suppose |
| 2026-03-05 19:05:40 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2026-03-05 19:06:56 | <int-e> | this is more of a party trick than a design pattern |
| 2026-03-05 19:08:20 | <int-e> | (But the CPS transform is used seriously... but you often want more than one continuation and then `.` for sequencing breaks down) |
| 2026-03-05 19:09:51 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-05 19:12:35 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-05 19:12:46 | <ski> | > let fact :: Integral a => (a -> o) -> (a -> o); fact = dup . push 0 . greater . cond (dup . push 1 . minus . fact . times) (L.drop . push 1) in run (push 5 . fact) |
| 2026-03-05 19:12:47 | <lambdabot> | 120 |
| 2026-03-05 19:12:53 | <ski> | (polymorphic recursion) |
| 2026-03-05 19:13:42 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-05 19:14:26 | → | oskarw joins (~user@user/oskarw) |
| 2026-03-05 19:20:48 | × | dfg quits (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 2026-03-05 19:21:00 | × | tromp quits (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-05 19:21:11 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 19:21:22 | <ski> | > let factTimes = dup . push 0 . greater . cond (dup . push 1 . minus . rot_ . times . L.swap . factTimes) L.drop in run (push 1 . push 5 . factTimes) |
| 2026-03-05 19:21:23 | <lambdabot> | 120 |
| 2026-03-05 19:21:59 | <ski> | interesting to note how tail recursion turns into monomorphic recursion, while non-tail recursion turns into polymorphic recursion |
| 2026-03-05 19:22:39 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-05 19:22:46 | → | Tuplanolla joins (~Tuplanoll@88.114.89.88) |
| 2026-03-05 19:24:10 | <EvanR> | laziness reigns |
| 2026-03-05 19:30:27 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-03-05 19:30:57 | × | rainbyte quits (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2026-03-05 19:31:28 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-05 19:32:11 | → | rainbyte joins (~rainbyte@2800:810:5fa:2b1:ead4:b2fc:4979:be59) |
| 2026-03-05 19:36:41 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 19:39:37 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-05 19:40:56 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2026-03-05 19:41:10 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-03-05 19:43:43 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-05 19:44:04 | → | durstloescher joins (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 19:47:50 | <ski> | (in Forth, `cond (...) (...)' would correspond to `if ... else ... then', which i'd say is reasonably close (mixfix like in Agda would get closer). of course, no compile-time words, in the above model) |
| 2026-03-05 19:48:03 | × | kuribas quits (~user@2a02:1810:2825:6000:67a:4325:ab5b:92a9) (Ping timeout: 244 seconds) |
| 2026-03-05 19:48:13 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-05 19:48:50 | × | durstloescher quits (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Ping timeout: 268 seconds) |
| 2026-03-05 19:49:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 267 seconds) |
| 2026-03-05 19:51:06 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-03-05 19:59:30 | → | gabiruh joins (~gabiruh@191.252.222.55) |
| 2026-03-05 20:04:25 | → | humasect joins (~humasect@192.249.132.90) |
| 2026-03-05 20:11:49 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 20:13:24 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-05 20:14:15 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-05 20:15:07 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-05 20:16:50 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 248 seconds) |
| 2026-03-05 20:18:32 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 20:20:42 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 20:21:20 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-03-05 20:22:21 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-03-05 20:22:42 | → | oskarw joins (~user@user/oskarw) |
| 2026-03-05 20:29:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-05 20:33:43 | → | kuribas joins (~user@2a02:1810:2825:6000:d4d2:7bb2:8f5b:632a) |
| 2026-03-05 20:35:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 20:41:03 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-05 20:45:51 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-05 20:46:34 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2026-03-05 20:47:07 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-05 20:50:34 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 20:55:29 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2026-03-05 20:56:11 | → | durstloescher joins (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 20:56:24 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 20:57:04 | × | durstloescher quits (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 21:01:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-05 21:06:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 21:07:52 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2026-03-05 21:08:53 | → | [exa] joins (~exa@user/exa/x-3587197) |
| 2026-03-05 21:09:58 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-05 21:10:54 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-05 21:17:03 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-05 21:17:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-05 21:19:14 | → | weary-traveler joins (~user@user/user363627) |
| 2026-03-05 21:24:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-05 21:24:32 | → | redshuffle joins (~quassel@45.43.70.75) |
| 2026-03-05 21:26:04 | → | pavonia joins (~user@user/siracusa) |
| 2026-03-05 21:33:07 | → | mange joins (~mange@user/mange) |
| 2026-03-05 21:35:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-05 21:36:00 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 255 seconds) |
| 2026-03-05 21:36:18 | <mesaoptimizer> | would you like Agda mixfix in Haskell |
| 2026-03-05 21:36:24 | → | tromp joins (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 2026-03-05 21:39:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 21:45:02 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2026-03-05 21:50:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.