Newest at the top
| 2026-03-05 20:51:06 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-03-05 20:49:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 267 seconds) |
| 2026-03-05 20:48:50 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Ping timeout: 268 seconds) |
| 2026-03-05 20:48:13 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-05 20:48:03 +0100 | kuribas | (~user@2a02:1810:2825:6000:67a:4325:ab5b:92a9) (Ping timeout: 244 seconds) |
| 2026-03-05 20:47:50 +0100 | <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 20:44:04 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 20:43:43 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-05 20:41:10 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 20:40:56 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2026-03-05 20:39:37 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 20:36:41 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 20:32:11 +0100 | rainbyte | (~rainbyte@2800:810:5fa:2b1:ead4:b2fc:4979:be59) rainbyte |
| 2026-03-05 20:31:28 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-05 20:30:57 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2026-03-05 20:30:27 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 20:24:10 +0100 | <EvanR> | laziness reigns |
| 2026-03-05 20:22:46 +0100 | Tuplanolla | (~Tuplanoll@88.114.89.88) Tuplanolla |
| 2026-03-05 20:22:39 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 20:21:59 +0100 | <ski> | interesting to note how tail recursion turns into monomorphic recursion, while non-tail recursion turns into polymorphic recursion |
| 2026-03-05 20:21:23 +0100 | <lambdabot> | 120 |
| 2026-03-05 20:21:22 +0100 | <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 20:21:11 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 20:21:00 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-05 20:20:48 +0100 | dfg | (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 2026-03-05 20:14:26 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-05 20:13:42 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 20:12:53 +0100 | <ski> | (polymorphic recursion) |
| 2026-03-05 20:12:47 +0100 | <lambdabot> | 120 |
| 2026-03-05 20:12:46 +0100 | <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 20:12:35 +0100 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-05 20:09:51 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 20:08:20 +0100 | <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 20:06:56 +0100 | <int-e> | this is more of a party trick than a design pattern |
| 2026-03-05 20:05:40 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2026-03-05 20:04:47 +0100 | <ski> | you could do a `cond ifTrue ifFalse' construct, i suppose |
| 2026-03-05 20:03:47 +0100 | <chromoblob> | or will you do it in Haskell |
| 2026-03-05 20:03:35 +0100 | <chromoblob> | how will you do branching? |
| 2026-03-05 20:03:23 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-05 19:56:53 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-03-05 19:53:39 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 245 seconds) |
| 2026-03-05 19:47:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-03-05 19:41:26 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-03-05 19:38:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-03-05 19:31:04 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-05 19:26:50 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-05 19:25:59 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 19:25:18 +0100 | opqdonut__ | (opqdonut@pseudo.fixme.fi) |
| 2026-03-05 19:23:49 +0100 | opqdonut__ | (opqdonut@pseudo.fixme.fi) (Ping timeout: 276 seconds) |
| 2026-03-05 19:21:39 +0100 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |