Logs: liberachat/#haskell
| 2026-01-21 14:42:51 | → | danza joins (~danza@user/danza) |
| 2026-01-21 14:45:03 | → | Milan_Vanca joins (~milan@user/Milan-Vanca:32634) |
| 2026-01-21 14:46:52 | <haskellbridge> | <loonycyborg> iirc before monads it could use either dialogues or continuations. |
| 2026-01-21 14:48:50 | <danza> | continuations would make sense. Not familiar with dialogues |
| 2026-01-21 14:49:34 | × | trickard_ quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2026-01-21 14:49:57 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-21 14:52:29 | <dutchie> | is that the thing where you do main :: [InputStuff] -> [OutputStuff] |
| 2026-01-21 14:52:43 | <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 14:53:02 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-01-21 14:53:22 | <haskellbridge> | <loonycyborg> ye it takes list of inputs and returns list of outputs |
| 2026-01-21 14:53:50 | <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 14:54:25 | <danza> | ^^; |
| 2026-01-21 14:55:27 | <danza> | those were tough times for haskellers :) |
| 2026-01-21 14:58:46 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 2026-01-21 14:59:41 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-21 15:01:03 | DetourNe- | is now known as DetourNetworkUK |
| 2026-01-21 15:03:38 | → | raym joins (~ray@user/raym) |
| 2026-01-21 15:04:28 | × | Inline quits (~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 15:05:19 | × | CiaoSen quits (~Jura@ipservice-092-208-107-195.092.208.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2026-01-21 15:05:58 | → | Inline joins (~User@2001-4dd6-dd24-0-41c1-f819-9bd9-d884.ipv6dyn.netcologne.de) |
| 2026-01-21 15:07:08 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-01-21 15:07:49 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-01-21 15:14:18 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 2026-01-21 15:19:09 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2026-01-21 15:20:31 | × | danza quits (~danza@user/danza) (Quit: got to go) |
| 2026-01-21 15:25:13 | Googulator64 | is now known as Googulator |
| 2026-01-21 15:27:11 | <gentauro> | lortabac: no lambda and no let :o https://youtu.be/Xnvj61qkg7c?t=2051 (34:11 ish) |
| 2026-01-21 15:28:48 | <lortabac> | wow |
| 2026-01-21 15:29:05 | <lortabac> | I need to watch that talk again |
| 2026-01-21 15:33:16 | <lortabac> | that being said, Prolog doesn't have local predicates either. It's slightly inconvenient but not a showstopper |
| 2026-01-21 15:34:03 | <gentauro> | blc (binary lambda calculus) from John Tromp is also very very simplistic xD |
| 2026-01-21 15:35:05 | <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 15:38:49 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-21 15:43:49 | <lortabac> | I don't know what "ruliology" means, but this looks both scary and fascinating at the same time |
| 2026-01-21 15:49:24 | <int-e> | wolfram is the best crank |
| 2026-01-21 15:51:05 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-21 15:58:10 | <__monty__> | Looks like it's the study of abstract rules. Which makes sense to me coming from someone who started out looking at cellular automata. |
| 2026-01-21 16:00:23 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-01-21 16:01:29 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-01-21 16:01:55 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-21 16:01:56 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-01-21 16:02:37 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-01-21 16:12:17 | × | fp quits (~Thunderbi@wireless-86-50-141-134.open.aalto.fi) (Ping timeout: 244 seconds) |
| 2026-01-21 16:16:16 | × | trickard_ quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-21 16:16:30 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-21 16:16:42 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-01-21 16:16:42 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-01-21 16:16:42 | → | haritz joins (~hrtz@user/haritz) |
| 2026-01-21 16:18:10 | Digitteknohippie | is now known as Digit |
| 2026-01-21 16:27:12 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-01-21 16:27:15 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-21 16:29:32 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-01-21 16:30:34 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-01-21 16:31:15 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-01-21 16:31:38 | <gentauro> | lortabac: https://writings.stephenwolfram.com/2026/01/what-is-ruliology/ ;) |
| 2026-01-21 16:32:00 | <lortabac> | thanks |
| 2026-01-21 16:35:20 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-01-21 16:36:14 | <EvanR> | ruliology... ok you can invent whatever you want but |
| 2026-01-21 16:36:33 | <EvanR> | just like ruleology is easier to say |
| 2026-01-21 16:36:38 | <EvanR> | and more obvious |
| 2026-01-21 16:36:52 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-21 16:41:34 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2026-01-21 16:53:18 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-21 16:59:37 | × | Googulator quits (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) (Quit: Client closed) |
| 2026-01-21 17:00:07 | → | Googulator joins (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) |
| 2026-01-21 17:00:44 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-21 17:01:43 | × | Gestodia quits (~Gestodia@2404:8000:1005:448:c320:aee4:d56b:2627) (Quit: Client closed) |
| 2026-01-21 17:01:48 | jmcantrell_ | is now known as jmcantrell |
| 2026-01-21 17:03:18 | → | comerijn joins (~merijn@77.242.116.146) |
| 2026-01-21 17:04:09 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2026-01-21 17:04:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2026-01-21 17:04:24 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-01-21 17:05:28 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-01-21 17:05:48 | → | spew joins (~spew@user/spew) |
| 2026-01-21 17:06:56 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-21 17:07:37 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-01-21 17:07:40 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2026-01-21 17:07:44 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-01-21 17:09:05 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-21 17:16:14 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-21 17:17:03 | jmcantrell_ | is now known as jmcantrell |
| 2026-01-21 17:17:35 | × | trickard_ quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
| 2026-01-21 17:17:55 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-21 17:21:37 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-01-21 17:30:24 | trickard_ | is now known as trickard |
| 2026-01-21 17:31:27 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds) |
| 2026-01-21 17:38:20 | × | Googulator quits (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) (Quit: Client closed) |
| 2026-01-21 17:38:50 | → | Googulator joins (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) |
| 2026-01-21 17:42:36 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-01-21 17:45:13 | → | Googulator73 joins (~Googulato@77.234.89.65) |
| 2026-01-21 17:45:53 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-01-21 17:48:45 | × | Googulator quits (~Googulato@2a01:36d:106:29ac:8d41:f550:2a4f:1a91) (Ping timeout: 272 seconds) |
| 2026-01-21 18:00:10 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-21 18:01:40 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2026-01-21 18:07:48 | Googulator73 | is now known as Googulator |
| 2026-01-21 18:15:25 | → | danza joins (~danza@user/danza) |
| 2026-01-21 18:18:41 | <probie> | Surely it'd should be kanonology |
| 2026-01-21 18:18:48 | <probie> | s/it'd/it/ |
| 2026-01-21 18:19:51 | <Milan_Vanca> | Hello guyz. I found another strange issue, "cabal install alex" and I can see it in user's bin dir. "cabal list --installed" and it's not there? |
| 2026-01-21 18:21:33 | <gentauro> | Milan_Vanca: have you looked at `~/.cabal/bin`? |
All times are in UTC.