Logs: liberachat/#haskell
| 2026-01-26 03:29:26 | → | omidmash joins (~omidmash@user/omidmash) |
| 2026-01-26 03:52:38 | → | Guest25 joins (~Guest96@184-83-220-139-dynamic.midco.net) |
| 2026-01-26 03:55:13 | → | Guest48 joins (~Guest96@184-83-220-139-dynamic.midco.net) |
| 2026-01-26 04:00:13 | × | Guest25 quits (~Guest96@184-83-220-139-dynamic.midco.net) (Quit: Client closed) |
| 2026-01-26 04:00:14 | × | Guest48 quits (~Guest96@184-83-220-139-dynamic.midco.net) (Write error: Connection reset by peer) |
| 2026-01-26 04:01:24 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2026-01-26 04:01:45 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-01-26 04:29:56 | → | _gio joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-01-26 04:32:56 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2026-01-26 04:34:40 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 246 seconds) |
| 2026-01-26 04:40:37 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-01-26 04:44:10 | → | weary-traveler joins (~user@user/user363627) |
| 2026-01-26 04:46:51 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 04:57:31 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 05:00:54 | × | rekahsoft quits (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 2026-01-26 05:23:56 | trickard_ | is now known as trickard |
| 2026-01-26 05:25:16 | → | michalz joins (~michalz@185.246.207.203) |
| 2026-01-26 05:45:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2026-01-26 05:57:10 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-26 06:10:25 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-26 06:17:00 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-26 06:48:31 | × | Adran quits (~adran@botters/adran) (Read error: Connection reset by peer) |
| 2026-01-26 06:56:51 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-26 06:57:28 | → | Guest17 joins (~Guest96@184.83.220.139) |
| 2026-01-26 07:06:01 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-01-26 07:10:44 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-01-26 07:26:32 | → | Adran joins (~adran@botters/adran) |
| 2026-01-26 07:45:20 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Excess Flood) |
| 2026-01-26 07:46:33 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 2026-01-26 07:58:16 | <gentauro> | EvanR: in FP, everything is data ;) |
| 2026-01-26 07:58:57 | → | lstor joins (~lstor@user/lstor) |
| 2026-01-26 07:59:31 | × | Guest17 quits (~Guest96@184.83.220.139) (Quit: Client closed) |
| 2026-01-26 08:03:23 | <gentauro> | `type expr = Var of string | Lam of (string * expr) | App of (expr * expr)` (in OcaML) |
| 2026-01-26 08:05:08 | → | oskarw joins (~user@user/oskarw) |
| 2026-01-26 08:07:52 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-01-26 08:14:41 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2026-01-26 08:18:44 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-26 08:19:32 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-01-26 08:30:34 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-01-26 08:31:18 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-26 08:43:29 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-01-26 08:47:01 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-01-26 08:47:03 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 08:47:15 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 09:07:46 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-26 09:11:49 | <jreicher> | gentauro: in Lisp everything is data. In FP everything is a function. That's why you can mutate in Lisp but you can't in FP. |
| 2026-01-26 09:12:04 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.8.1) |
| 2026-01-26 09:13:34 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2026-01-26 09:18:06 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-01-26 09:23:27 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.8.1) |
| 2026-01-26 09:24:25 | → | AlexNoo joins (~AlexNoo@85.174.180.154) |
| 2026-01-26 09:24:50 | → | AlexZenon joins (~alzenon@85.174.180.154) |
| 2026-01-26 09:24:59 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2026-01-26 09:27:24 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 09:27:37 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 09:28:56 | <merijn> | jreicher: uh, hard disagree |
| 2026-01-26 09:29:07 | <merijn> | In FP everything is not a function |
| 2026-01-26 09:29:26 | <merijn> | In fact, lots of things are not functions |
| 2026-01-26 09:31:58 | <int-e> | Also the thing that strongly discourages mutation is lazy evaluation, because that makes it extremely difficult to reason about when mutations take place unless you impose some radical discipline (like CPS or threading a virtual state token through operations with side effects) |
| 2026-01-26 09:32:46 | <int-e> | ML just puts you place mutable references any place you like. |
| 2026-01-26 09:32:55 | <int-e> | puts -> lets |
| 2026-01-26 09:44:34 | <gentauro> | jreicher: LISP is FP ;) |
| 2026-01-26 09:45:13 | <gentauro> | and it's "type-safe". Just not enforce statically |
| 2026-01-26 09:46:55 | → | tt12316070 joins (~tt1231@75.185.104.199) |
| 2026-01-26 09:48:37 | × | tt1231607 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 246 seconds) |
| 2026-01-26 09:48:38 | tt12316070 | is now known as tt1231607 |
| 2026-01-26 09:51:54 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-01-26 09:53:42 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-01-26 09:58:37 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2026-01-26 09:59:23 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:9d11::) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-26 09:59:35 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-26 10:06:28 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:9d11::) |
| 2026-01-26 10:16:02 | → | kuribas joins (~user@2a02-1810-2825-6000-8a6a-4aff-4d86-f963.ip6.access.telenet.be) |
| 2026-01-26 10:24:01 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-01-26 10:28:42 | trickard_ | is now known as trickard |
| 2026-01-26 10:38:23 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-01-26 10:44:44 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 10:44:57 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 10:45:07 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-26 10:45:27 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-26 10:45:30 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2026-01-26 10:46:56 | × | rainbyte_ quits (~rainbyte@186.22.19.214) (Ping timeout: 240 seconds) |
| 2026-01-26 10:47:11 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 2026-01-26 10:48:42 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-01-26 10:49:49 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-01-26 10:52:00 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-26 10:54:44 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2026-01-26 10:55:51 | → | Square joins (~Square4@user/square) |
| 2026-01-26 11:03:44 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2026-01-26 11:05:18 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2026-01-26 11:11:25 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2026-01-26 11:12:53 | → | chele joins (~chele@user/chele) |
| 2026-01-26 11:21:08 | × | jonnie quits (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2026-01-26 11:22:49 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-26 11:23:16 | → | jonnie joins (~jonnie@user/jonnie) |
| 2026-01-26 11:23:17 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-26 11:23:48 | → | xff0x joins (~xff0x@2405:6580:b080:900:5e15:fad5:8284:4db7) |
| 2026-01-26 11:24:19 | trickard_ | is now known as trickard |
| 2026-01-26 11:29:45 | <haskellbridge> | <Liamzee> everything is a type? also, Common Lisp people would have a bone to pick with you |
| 2026-01-26 11:32:05 | <haskellbridge> | <Liamzee> for a brief moment i regretted that IO wasn't traversable, but then again, how could you get IO to be foldable? |
All times are in UTC.