Newest at the top
| 2026-01-21 16:51:05 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-21 16:49:24 +0100 | <int-e> | wolfram is the best crank |
| 2026-01-21 16:43:49 +0100 | <lortabac> | I don't know what "ruliology" means, but this looks both scary and fascinating at the same time |
| 2026-01-21 16:38:49 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-21 16:35:05 +0100 | <gentauro> | «Note added September 18, 2025: I thank John Tromp for suggesting several significant improvements to the original version of this» -> https://writings.stephenwolfram.com/2025/09/the-ruliology-of-lambdas/ |
| 2026-01-21 16:34:03 +0100 | <gentauro> | blc (binary lambda calculus) from John Tromp is also very very simplistic xD |
| 2026-01-21 16:33:16 +0100 | <lortabac> | that being said, Prolog doesn't have local predicates either. It's slightly inconvenient but not a showstopper |
| 2026-01-21 16:29:05 +0100 | <lortabac> | I need to watch that talk again |
| 2026-01-21 16:28:48 +0100 | <lortabac> | wow |
| 2026-01-21 16:27:11 +0100 | <gentauro> | lortabac: no lambda and no let :o https://youtu.be/Xnvj61qkg7c?t=2051 (34:11 ish) |
| 2026-01-21 16:25:13 +0100 | Googulator64 | Googulator |
| 2026-01-21 16:20:31 +0100 | danza | (~danza@user/danza) (Quit: got to go) |
| 2026-01-21 16:19:09 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2026-01-21 16:14:18 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-21 16:07:49 +0100 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-01-21 16:07:08 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-01-21 16:05:58 +0100 | Inline | (~User@2001-4dd6-dd24-0-41c1-f819-9bd9-d884.ipv6dyn.netcologne.de) Inline |
| 2026-01-21 16:05:19 +0100 | CiaoSen | (~Jura@ipservice-092-208-107-195.092.208.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2026-01-21 16:04:28 +0100 | Inline | (~User@2001-4dd6-dd24-0-5fac-f4ca-3e2c-ca4.ipv6dyn.netcologne.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-21 16:03:38 +0100 | raym | (~ray@user/raym) raym |
| 2026-01-21 16:01:03 +0100 | DetourNe- | DetourNetworkUK |
| 2026-01-21 15:59:41 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-21 15:58:46 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-21 15:55:27 +0100 | <danza> | those were tough times for haskellers :) |
| 2026-01-21 15:54:25 +0100 | <danza> | ^^; |
| 2026-01-21 15:53:50 +0100 | <haskellbridge> | <loonycyborg> since what exactly it takes and returns isn't fixed in types entire thing could go out of sync very easily |
| 2026-01-21 15:53:22 +0100 | <haskellbridge> | <loonycyborg> ye it takes list of inputs and returns list of outputs |
| 2026-01-21 15:53:02 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-01-21 15:52:43 +0100 | <lortabac> | it was a while ago so I may be misremembering something, but I think this Zurihac talk is relevant: https://youtu.be/Xnvj61qkg7c?si=ieVmvSgUoPJsh63J |
| 2026-01-21 15:52:29 +0100 | <dutchie> | is that the thing where you do main :: [InputStuff] -> [OutputStuff] |
| 2026-01-21 15:49:57 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-21 15:49:34 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2026-01-21 15:48:50 +0100 | <danza> | continuations would make sense. Not familiar with dialogues |
| 2026-01-21 15:46:52 +0100 | <haskellbridge> | <loonycyborg> iirc before monads it could use either dialogues or continuations. |
| 2026-01-21 15:45:03 +0100 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) Milan_Vanca |
| 2026-01-21 15:42:51 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-21 15:42:36 +0100 | danz66945 | (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-21 15:42:32 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) Enrico63 |
| 2026-01-21 15:42:17 +0100 | danz66945 | also not sure how haskell looked out at the beginning, without monads |
| 2026-01-21 15:41:29 +0100 | <danz66945> | not sure how miranda related to ML |
| 2026-01-21 15:40:42 +0100 | <gentauro> | danz66945: yeah, that's why I'm looking for a tree-historgram. I'm guessing that Haskell was inspired by many other PL, not just Miranda. But, some key concepts from Miranda, are intrinsic in Haskell |
| 2026-01-21 15:37:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-01-21 15:37:22 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2026-01-21 15:27:51 +0100 | <haskellbridge> | <loonycyborg> In fact the only reason it wasn't called Miranda+ or something is because Miranda's author wanted to keep control over his creation. |
| 2026-01-21 15:26:32 +0100 | raym | (~ray@user/raym) (Ping timeout: 240 seconds) |
| 2026-01-21 15:25:45 +0100 | <haskellbridge> | <loonycyborg> It was supposed to be union of many competing pure functional languages but among them Miranda is the only one of any prominence. |
| 2026-01-21 15:18:37 +0100 | <danz66945> | the history of Haskell is complex. Several recent episodes of the interlude treat about them |
| 2026-01-21 15:13:36 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-01-21 15:10:45 +0100 | Gestodia | (~Gestodia@2404:8000:1005:448:c320:aee4:d56b:2627) |
| 2026-01-21 15:07:54 +0100 | Enrico63 | (~Enrico63@host-79-42-228-73.retail.telecomitalia.it) (Quit: Client closed) |