Newest at the top
| 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) |
| 2026-03-05 15:38:33 +0100 | Square2 | (~Square@user/square) Square |
| 2026-03-05 15:33:45 +0100 | chaseabagg | (~chaseabag@2600:387:15:5519::3) (Quit: Client closed) |
| 2026-03-05 15:27:32 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:f311:8940:c862:5b08) (Remote host closed the connection) |
| 2026-03-05 15:22:49 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 15:22:18 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 15:21:43 +0100 | <ski> | Leary,aka_dude : no. there are no pairs (tuples) in my version (from around ~ 2004 or so, iirc) |
| 2026-03-05 15:19:29 +0100 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-03-05 15:19:05 +0100 | chaseabagg | (~chaseabag@2600:387:15:5519::3) |
| 2026-03-05 15:18:56 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-05 15:17:05 +0100 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-05 15:07:21 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-03-05 15:06:29 +0100 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) Jonno_FTW |
| 2026-03-05 15:05:58 +0100 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 268 seconds) |
| 2026-03-05 14:39:07 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 276 seconds) |
| 2026-03-05 14:37:07 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-05 14:36:53 +0100 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-03-05 14:31:16 +0100 | n0den1te | (~n0den1te@user/n0den1te) n0den1te |
| 2026-03-05 14:28:31 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:f311:8940:c862:5b08) |
| 2026-03-05 14:18:31 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-05 14:18:21 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2026-03-05 14:11:45 +0100 | Alex_delenda_est | (~al_test@178.34.150.243) |
| 2026-03-05 14:11:08 +0100 | AlexNoo_ | AlexNoo |