Newest at the top
| 2026-01-26 10:53:42 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-26 10:51:54 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-01-26 10:48:38 +0100 | tt12316070 | tt1231607 |
| 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:46:55 +0100 | tt12316070 | (~tt1231@75.185.104.199) tt1231 |
| 2026-01-26 10:45:13 +0100 | <gentauro> | and it's "type-safe". Just not enforce statically |
| 2026-01-26 10:44:34 +0100 | <gentauro> | jreicher: LISP is FP ;) |
| 2026-01-26 10:32:55 +0100 | <int-e> | puts -> lets |
| 2026-01-26 10:32:46 +0100 | <int-e> | ML just puts you place mutable references any place you like. |
| 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:29:26 +0100 | <merijn> | In fact, lots of things are not functions |
| 2026-01-26 10:29:07 +0100 | <merijn> | In FP everything is not a function |
| 2026-01-26 10:28:56 +0100 | <merijn> | jreicher: uh, hard disagree |
| 2026-01-26 10:27:37 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 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:24:59 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2026-01-26 10:24:50 +0100 | AlexZenon | (~alzenon@85.174.180.154) |
| 2026-01-26 10:24:25 +0100 | AlexNoo | (~AlexNoo@85.174.180.154) |
| 2026-01-26 10:23:27 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.8.1) |
| 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:13:34 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2026-01-26 10:12:04 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.8.1) |
| 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:07:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-26 09:47:15 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 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:01 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-01-26 09:43:29 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-01-26 09:31:18 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-26 09:30:34 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-01-26 09:19:32 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-26 09:18:44 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-26 09:14:41 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2026-01-26 09:07:52 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-26 09:05:08 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 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 08:59:31 +0100 | Guest17 | (~Guest96@184.83.220.139) (Quit: Client closed) |
| 2026-01-26 08:58:57 +0100 | lstor | (~lstor@user/lstor) lstor |
| 2026-01-26 08:58:16 +0100 | <gentauro> | EvanR: in FP, everything is data ;) |
| 2026-01-26 08:46:33 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2026-01-26 08:45:20 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Excess Flood) |
| 2026-01-26 08:26:32 +0100 | Adran | (~adran@botters/adran) Adran |
| 2026-01-26 08:10:44 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-01-26 08:06:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-01-26 07:57:28 +0100 | Guest17 | (~Guest96@184.83.220.139) |
| 2026-01-26 07:56:51 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-26 07:48:31 +0100 | Adran | (~adran@botters/adran) (Read error: Connection reset by peer) |
| 2026-01-26 07:17:00 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-26 07:10:25 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-26 06:57:10 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |