| 2026-01-26 00:02:34 +0100 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-01-26 00:04:34 +0100 | mulk | (~mulk@p5b1128da.dip0.t-ipconnect.de) mulk |
| 2026-01-26 00:08:29 +0100 | sp1ff` | (~user@2601:1c2:4701:900::32d4) (Remote host closed the connection) |
| 2026-01-26 00:11:22 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 00:11:35 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 00:13:16 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2026-01-26 00:14:35 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2026-01-26 00:20:07 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-01-26 00:20:27 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-01-26 00:28:35 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-01-26 00:36:42 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-26 00:42:48 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2026-01-26 00:44:10 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 00:44:23 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 01:04:49 +0100 | mixfix41 | (~sdeny9ee@user/mixfix41) mixfix41 |
| 2026-01-26 01:08:15 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3b58:3b23:6c7:a174) (Ping timeout: 245 seconds) |
| 2026-01-26 01:12:11 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1b91:f7b5:c35c:b57e) |
| 2026-01-26 01:18:15 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1b91:f7b5:c35c:b57e) (Ping timeout: 245 seconds) |
| 2026-01-26 01:19:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:572:fd16:77ee:a888) |
| 2026-01-26 01:32:48 +0100 | xff0x | (~xff0x@2405:6580:b080:900:572:fd16:77ee:a888) (Ping timeout: 252 seconds) |
| 2026-01-26 01:33:47 +0100 | xff0x | (~xff0x@2405:6580:b080:900:41e3:7849:bdcf:b5e1) |
| 2026-01-26 01:36:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2026-01-26 01:50:02 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-26 01:54:38 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 01:54:50 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 01:56:16 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-26 02:02:28 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-01-26 02:05:27 +0100 | xff0x | (~xff0x@2405:6580:b080:900:41e3:7849:bdcf:b5e1) (Ping timeout: 250 seconds) |
| 2026-01-26 02:08:23 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-26 02:10:24 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-26 02:14:00 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2026-01-26 02:16:13 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2026-01-26 02:22:25 +0100 | qqq | (~qqq@185.54.21.105) |
| 2026-01-26 02:37:13 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 246 seconds) |
| 2026-01-26 02:39:49 +0100 | acidjnk | (~acidjnk@p200300d6e71719732cd814db2eedd90f.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2026-01-26 02:40:14 +0100 | omidmash8 | (~omidmash@user/omidmash) omidmash |
| 2026-01-26 02:42:04 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2026-01-26 02:42:04 +0100 | omidmash8 | omidmash |
| 2026-01-26 02:42:10 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2026-01-26 02:51:16 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-01-26 02:55:54 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-26 03:08:05 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-26 03:12:08 +0100 | trickard_ | trickard |
| 2026-01-26 03:15:25 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-01-26 03:15:41 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-26 03:19:34 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 246 seconds) |
| 2026-01-26 03:21:43 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-01-26 03:45:28 +0100 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 246 seconds) |
| 2026-01-26 03:56:20 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-01-26 03:57:06 +0100 | ski | (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 2026-01-26 04:02:10 +0100 | jmcantrell_ | jmcantrell |
| 2026-01-26 04:18:27 +0100 | FANTOM | (~fantom@87.75.185.177) |
| 2026-01-26 04:21:49 +0100 | ski | (~ski@remote11.chalmers.se) ski |
| 2026-01-26 04:25:52 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-26 04:29:26 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-01-26 04:52:38 +0100 | Guest25 | (~Guest96@184-83-220-139-dynamic.midco.net) |
| 2026-01-26 04:55:13 +0100 | Guest48 | (~Guest96@184-83-220-139-dynamic.midco.net) |
| 2026-01-26 05:00:13 +0100 | Guest25 | (~Guest96@184-83-220-139-dynamic.midco.net) (Quit: Client closed) |
| 2026-01-26 05:00:14 +0100 | Guest48 | (~Guest96@184-83-220-139-dynamic.midco.net) (Write error: Connection reset by peer) |
| 2026-01-26 05:01:24 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2026-01-26 05:01:45 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-01-26 05:29:56 +0100 | _gio | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-01-26 05:32:56 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2026-01-26 05:34:40 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 246 seconds) |
| 2026-01-26 05:40:37 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-01-26 05:44:10 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-26 05:46:51 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 05:57:31 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 06:00:54 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) (Remote host closed the connection) |
| 2026-01-26 06:23:56 +0100 | trickard_ | trickard |
| 2026-01-26 06:25:16 +0100 | michalz | (~michalz@185.246.207.203) |
| 2026-01-26 06:45:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2026-01-26 06:57:10 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-26 07:10:25 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-26 07:17:00 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-26 07:48:31 +0100 | Adran | (~adran@botters/adran) (Read error: Connection reset by peer) |
| 2026-01-26 07:56:51 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-26 07:57:28 +0100 | Guest17 | (~Guest96@184.83.220.139) |
| 2026-01-26 08:06:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-01-26 08:10:44 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-01-26 08:26:32 +0100 | Adran | (~adran@botters/adran) Adran |
| 2026-01-26 08:45:20 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Excess Flood) |
| 2026-01-26 08:46:33 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-26 08:58:16 +0100 | <gentauro> | EvanR: in FP, everything is data ;) |
| 2026-01-26 08:58:57 +0100 | lstor | (~lstor@user/lstor) lstor |
| 2026-01-26 08:59:31 +0100 | Guest17 | (~Guest96@184.83.220.139) (Quit: Client closed) |
| 2026-01-26 09:03:23 +0100 | <gentauro> | `type expr = Var of string | Lam of (string * expr) | App of (expr * expr)` (in OcaML) |
| 2026-01-26 09:05:08 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-01-26 09:07:52 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-26 09:14:41 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2026-01-26 09:18:44 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-26 09:19:32 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-26 09:30:34 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-01-26 09:31:18 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-26 09:43:29 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-01-26 09:47:01 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-01-26 09:47:03 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 09:47:15 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 10:07:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-26 10:11:49 +0100 | <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 10:12:04 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.8.1) |
| 2026-01-26 10:13:34 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2026-01-26 10:18:06 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-01-26 10:23:27 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.8.1) |
| 2026-01-26 10:24:25 +0100 | AlexNoo | (~AlexNoo@85.174.180.154) |
| 2026-01-26 10:24:50 +0100 | AlexZenon | (~alzenon@85.174.180.154) |
| 2026-01-26 10:24:59 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2026-01-26 10:27:24 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 10:27:37 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 10:28:56 +0100 | <merijn> | jreicher: uh, hard disagree |
| 2026-01-26 10:29:07 +0100 | <merijn> | In FP everything is not a function |
| 2026-01-26 10:29:26 +0100 | <merijn> | In fact, lots of things are not functions |
| 2026-01-26 10:31:58 +0100 | <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 10:32:46 +0100 | <int-e> | ML just puts you place mutable references any place you like. |
| 2026-01-26 10:32:55 +0100 | <int-e> | puts -> lets |
| 2026-01-26 10:44:34 +0100 | <gentauro> | jreicher: LISP is FP ;) |
| 2026-01-26 10:45:13 +0100 | <gentauro> | and it's "type-safe". Just not enforce statically |
| 2026-01-26 10:46:55 +0100 | tt12316070 | (~tt1231@75.185.104.199) tt1231 |
| 2026-01-26 10:48:37 +0100 | tt1231607 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 246 seconds) |
| 2026-01-26 10:48:38 +0100 | tt12316070 | tt1231607 |
| 2026-01-26 10:51:54 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-01-26 10:53:42 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-26 10:58:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2026-01-26 10:59:23 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:9d11::) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-26 10:59:35 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-26 11:06:28 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:9d11::) terrorjack |
| 2026-01-26 11:16:02 +0100 | kuribas | (~user@2a02-1810-2825-6000-8a6a-4aff-4d86-f963.ip6.access.telenet.be) kuribas |
| 2026-01-26 11:24:01 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-01-26 11:28:42 +0100 | trickard_ | trickard |
| 2026-01-26 11:38:23 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-26 11:44:44 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 11:44:57 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2026-01-26 11:45:07 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-26 11:45:27 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-26 11:45:30 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2026-01-26 11:46:56 +0100 | rainbyte_ | (~rainbyte@186.22.19.214) (Ping timeout: 240 seconds) |
| 2026-01-26 11:47:11 +0100 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-01-26 11:48:42 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-26 11:49:49 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-01-26 11:52:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-26 11:54:44 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2026-01-26 11:55:51 +0100 | Square | (~Square4@user/square) Square |
| 2026-01-26 12:03:44 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-26 12:05:18 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2026-01-26 12:11:25 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-01-26 12:12:53 +0100 | chele | (~chele@user/chele) chele |
| 2026-01-26 12:21:08 +0100 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2026-01-26 12:22:49 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-26 12:23:16 +0100 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-01-26 12:23:17 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-26 12:23:48 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5e15:fad5:8284:4db7) |
| 2026-01-26 12:24:19 +0100 | trickard_ | trickard |
| 2026-01-26 12:29:45 +0100 | <haskellbridge> | <Liamzee> everything is a type? also, Common Lisp people would have a bone to pick with you |
| 2026-01-26 12:32:05 +0100 | <haskellbridge> | <Liamzee> for a brief moment i regretted that IO wasn't traversable, but then again, how could you get IO to be foldable? |
| 2026-01-26 12:32:29 +0100 | <haskellbridge> | <Liamzee> for _IOCheck $ \something -> ... |
| 2026-01-26 12:36:17 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Read error: Connection reset by peer) |