Newest at the top
| 2025-12-04 10:54:56 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-04 10:54:23 +0100 | xff0x | (~xff0x@om126158246192.30.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-12-04 10:54:07 +0100 | trickard_ | trickard |
| 2025-12-04 10:52:34 +0100 | xff0x | (~xff0x@om126158246192.30.openmobile.ne.jp) |
| 2025-12-04 10:52:34 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-12-04 10:49:24 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 260 seconds) |
| 2025-12-04 10:44:51 +0100 | img | (~img@user/img) img |
| 2025-12-04 10:44:39 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 10:44:26 +0100 | <sprout> | maybe I'll find use for it somewhere sometime |
| 2025-12-04 10:44:11 +0100 | <sprout> | it's an esolang at heart |
| 2025-12-04 10:44:04 +0100 | <sprout> | still. cannot recommend.. |
| 2025-12-04 10:43:43 +0100 | <jreicher> | (I think) |
| 2025-12-04 10:43:37 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-04 10:43:37 +0100 | <jreicher> | That's why I was asking if you knew any others. It's rare. |
| 2025-12-04 10:43:15 +0100 | <sprout> | oh. thanks! |
| 2025-12-04 10:43:02 +0100 | <jreicher> | Like I said, it stood out. I don't think many other people have tried to do something like it. It's not toy; you've made it practical. |
| 2025-12-04 10:42:39 +0100 | <sprout> | yah |
| 2025-12-04 10:42:35 +0100 | <jreicher> | Is Egel yours? |
| 2025-12-04 10:42:07 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-04 10:42:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-04 10:41:54 +0100 | acidjnk | (~acidjnk@p200300d6e71719824d363649e1e7df87.dip0.t-ipconnect.de) acidjnk |
| 2025-12-04 10:37:19 +0100 | <sprout> | well, that's what I feel |
| 2025-12-04 10:37:13 +0100 | <sprout> | practically, not so much |
| 2025-12-04 10:37:02 +0100 | <sprout> | theoretically interesting |
| 2025-12-04 10:36:34 +0100 | <sprout> | it's interesting since it simplifies normal rather elaborate machinery for evaluation like a SECD or CAM machine |
| 2025-12-04 10:35:19 +0100 | <sprout> | ah well |
| 2025-12-04 10:35:15 +0100 | <sprout> | and then a decade later I am still stuck with an interpreter :/ |
| 2025-12-04 10:35:04 +0100 | dhil | (~dhil@5.151.29.139) dhil |
| 2025-12-04 10:34:57 +0100 | <sprout> | sure. I cannot even state it's a very bright idea. just something silly I wanted to show works |
| 2025-12-04 10:33:35 +0100 | <jreicher> | It does. But like I said, that's an optimisation IMO. |
| 2025-12-04 10:33:21 +0100 | <sprout> | haskell must have a stack of redexes though |
| 2025-12-04 10:32:58 +0100 | <jreicher> | I would argue Haskell is not really so different. All the heap objects form that graph, and any differences can probably be characterised as very clever optimisations. |
| 2025-12-04 10:32:57 +0100 | <sprout> | like 'hey, here's a different manner of implementing a term rewriter' |
| 2025-12-04 10:32:26 +0100 | <sprout> | it's interesting to people doing plt |
| 2025-12-04 10:32:15 +0100 | <sprout> | succesful experiment, mostly a failed too slow language though |
| 2025-12-04 10:31:44 +0100 | <lambdabot> | <hint>:1:67: error: parse error on input `,' |
| 2025-12-04 10:31:40 +0100 | <sprout> | > Egel is primarily about exploiting a trivialized operational model, a program (state) can be represented as a directed acyclic graph solely and program evaluation corresponds to trampolining the combinator at the root of that graph. |
| 2025-12-04 10:31:37 +0100 | <sprout> | but it's an esolang in that it's an experiment with an operational model |
| 2025-12-04 10:31:15 +0100 | <jreicher> | Yeah, that's what stood out to me. |
| 2025-12-04 10:31:03 +0100 | <sprout> | well, it has most IO |
| 2025-12-04 10:30:33 +0100 | <jreicher> | I consider anything limited to stdin and sdtout to be toy. Doesn't mean it's not theoretically significant though, of course. |
| 2025-12-04 10:29:55 +0100 | <jreicher> | As a rough and ready definition, "practical" is "can at least do IO with files, but should approach an FFI" |
| 2025-12-04 10:29:45 +0100 | <sprout> | cannot recommend |
| 2025-12-04 10:29:42 +0100 | <sprout> | so not practical |
| 2025-12-04 10:29:38 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-04 10:29:37 +0100 | <sprout> | well, maybe not that buggy. but slow |
| 2025-12-04 10:29:28 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-12-04 10:29:25 +0100 | <sprout> | slow and buggy |
| 2025-12-04 10:29:19 +0100 | <sprout> | mwa, pretty shitty interpreter |
| 2025-12-04 10:29:05 +0100 | <sprout> | although I don't know what you consider *practical* |