Newest at the top
| 2026-03-05 17:17:35 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2026-03-05 17:15:26 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 17:13:55 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-03-05 17:12:59 +0100 | loungerry_ | (~loungerry@150.241.86.78) |
| 2026-03-05 17:12:48 +0100 | loungerry_ | (~loungerry@user/loungerry-:45058) (Quit: left) |
| 2026-03-05 17:07:17 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 17:05:38 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 17:04:57 +0100 | n0den1te | (~n0den1te@user/n0den1te) (Quit: leaving) |
| 2026-03-05 17:03:01 +0100 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-05 17:01:49 +0100 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-05 17:01:41 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 16:56:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-05 16:52:57 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 16:52:46 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-05 16:39:07 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-05 16:34:03 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-03-05 16:33:47 +0100 | gabiruh_ | (~gabiruh@191.252.222.55) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-05 16:31:40 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-03-05 16:27:37 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-05 16:26:37 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-03-05 16:24:54 +0100 | gabiruh_ | (~gabiruh@191.252.222.55) gabiruh |
| 2026-03-05 16:24:51 +0100 | gabiruh | (~gabiruh@191.252.222.55) (Read error: Connection reset by peer) |
| 2026-03-05 16:23:53 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 16:23:46 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 16:14:48 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
| 2026-03-05 16:13:45 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-03-05 16:13:10 +0100 | <ski> | it's a quite neat idea for how to do a heterogenous concatenative stack, without stack constructors |
| 2026-03-05 16:13:05 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-03-05 16:11:19 +0100 | <Leary> | Yeah, that was more just to get the idea of the divide across. |
| 2026-03-05 16:10:03 +0100 | <ski> | (type of e.g. `dup' should clarify this) |
| 2026-03-05 16:09:04 +0100 | <ski> | but yea .. it's not too clear to me how to hide it behind a `newtype' in a meaningful (nontrivial) way |
| 2026-03-05 16:05:33 +0100 | <ski> | "that last `f` should have been on the RHS" -- ah, that's what was confusing me |
| 2026-03-05 16:03:34 +0100 | <Leary> | Well, it's just a way to indicate where the "arguments" end and the "result" begins (that last `f` should have been on the RHS). If your stack type had it's implementation details hidden by a newtype, that's probably where the constructor would be. |
| 2026-03-05 16:01:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-05 16:01:19 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 16:01:14 +0100 | <ski> | you see how e.g. `plus',`minus' or `dup',`rot' were defined ? |
| 2026-03-05 16:00:06 +0100 | <ski> | yes (although i used no lambdas. i don't really see a point, here, apart maybe from `\x -> x' instead of `id') |
| 2026-03-05 15:56:05 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 15:52:30 +0100 | <Leary> | ski: Like so? `run f = f id; push x = \f -> f x; apply f = \g x -> f (g x)` |
| 2026-03-05 15:48:26 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 15:48:16 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 15:42:58 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 248 seconds) |
| 2026-03-05 15:41:17 +0100 | Square2 | (~Square@user/square) Square |
| 2026-03-05 15:40:52 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-03-05 15:40:25 +0100 | Square2 | (~Square@user/square) Square |
| 2026-03-05 15:39:52 +0100 | <ski> | (i threw in `drop',`nip',`dup',`over',`swap',`rot',`rot_' in addition to (`run',`push',`apply' and) `plus',`minus',`times' .. see e.g. <https://deepwiki.com/zserge/lc3-forth/3.1-stack-manipulation> for the stack effectt of the former) |
| 2026-03-05 15:39:21 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-03-05 15:38:42 +0100 | <lambdabot> | 33 |
| 2026-03-05 15:38:41 +0100 | <ski> | > run (push 4 . push 7 . dup . rot . dup . rot_ . minus . rot_ . plus . times) |
| 2026-03-05 15:38:34 +0100 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |