Newest at the top
| 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) |
| 2026-03-05 19:18:24 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 19:17:36 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 19:16:41 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-05 19:16:36 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-03-05 19:16:28 +0100 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-05 19:14:19 +0100 | troydm | (~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 19:14:11 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 2026-03-05 19:13:50 +0100 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-03-05 19:13:48 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 19:13:30 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 19:09:43 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-05 19:02:04 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 18:57:21 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-05 18:54:55 +0100 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-03-05 18:54:27 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-03-05 18:50:38 +0100 | <ski> | any particular reason for `forall s ->' ? |
| 2026-03-05 18:48:11 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-05 18:48:04 +0100 | <ski> | ( x y -- x-y ) |
| 2026-03-05 18:47:57 +0100 | <ski> | ( x y z -- y z x ) |
| 2026-03-05 18:47:15 +0100 | <ski> | which would correspond to the stack effects |
| 2026-03-05 18:46:51 +0100 | <ski> | minus k y x = k (x - y) |
| 2026-03-05 18:46:49 +0100 | <ski> | rot k z y x = k x z y |
| 2026-03-05 18:46:15 +0100 | ski | would call the argument to `run', `w' (for "word"), and the `f' arguments to `push',`dup',`rot',`apply', `k' ("continuation") |
| 2026-03-05 18:45:10 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-05 18:44:36 +0100 | <ski> | ah, because of `Stack xs ys', rather than `Stack ys xs' |
| 2026-03-05 18:44:14 +0100 | <ski> | .. oh, you did composition (`.') backwards |
| 2026-03-05 18:43:40 +0100 | [exa] | (~exa@user/exa/x-3587197) (Quit: WeeChat 3.8) |