Logs: liberachat/#haskell
| 2025-10-03 03:13:39 | × | aforemny quits (~aforemny@i59F4C602.versanet.de) (Ping timeout: 250 seconds) |
| 2025-10-03 03:13:59 | → | aforemny joins (~aforemny@i577B1257.versanet.de) |
| 2025-10-03 03:16:03 | × | Googulator41 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-03 03:16:09 | → | Googulator22 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-10-03 03:22:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 03:27:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-03 03:38:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 03:40:40 | → | Googulator76 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-10-03 03:40:44 | × | Googulator22 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-03 03:42:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-03 03:53:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 03:59:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-03 04:00:41 | × | Googulator76 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-03 04:00:54 | → | Googulator76 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-10-03 04:10:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 04:15:07 | → | michalz joins (~michalz@185.246.207.197) |
| 2025-10-03 04:16:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-03 04:20:47 | × | Googulator76 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-03 04:21:00 | → | Googulator76 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-10-03 04:25:45 | → | Googulator2 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-10-03 04:26:34 | × | Googulator76 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-03 04:28:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 04:32:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-03 04:43:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 04:46:35 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-10-03 04:47:40 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-03 04:48:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-03 04:49:25 | <ski> | Erlang basically gets "single assignment" ("instantiation") from Prolog (which is also why defining a variable in each branch makes it in scope after, like e.g. `if 2 > 3 -> X = 2 ; true -> X = 3 end,X * X', is a thing). the immutability of data structure values (including function values referencing non-local variables) helps with transparently sharing (same node) or cloning (different node) values when |
| 2025-10-03 04:49:31 | <ski> | sending messages between processes |
| 2025-10-03 04:53:11 | <jreicher> | I understand the positives of it, but I don't understand why they would do that while retaining the negatives of side-effects in functions. |
| 2025-10-03 04:54:24 | <ski> | main focus was concurreny and distribution, with fault-tolerance (and fail-fast) |
| 2025-10-03 04:56:35 | <jreicher> | So the assumption is the concurrency-safety of side effects would be provided in other ways? I think I'm starting to understand... |
| 2025-10-03 04:57:04 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-10-03 04:59:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 04:59:46 | <ski> | it's message-passing concurrency, as opposed to shared-memory concurrency (which would be hard to do, with transparent distribution) |
| 2025-10-03 05:00:08 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-03 05:00:22 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-03 05:03:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-03 05:06:58 | × | Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Quit: Done for the day!) |
| 2025-10-03 05:08:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 05:11:00 | → | peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) |
| 2025-10-03 05:12:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-03 05:21:50 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-03 05:35:20 | trickard_ | is now known as trickard |
| 2025-10-03 05:39:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 05:43:34 | → | aditya_an1l joins (~aditya_an@user/aditya-an1l:63825) |
| 2025-10-03 05:43:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-03 05:51:01 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-10-03 05:51:50 | × | aditya_an1l quits (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.7.1) |
| 2025-10-03 05:54:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 05:56:08 | × | peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 240 seconds) |
| 2025-10-03 05:56:10 | × | tccq quits (~user@user/tccq) (Remote host closed the connection) |
| 2025-10-03 06:00:41 | → | xdminsy joins (~xdminsy@117.147.71.54) |
| 2025-10-03 06:01:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-03 06:09:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 06:10:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:48e3:4bde:a27a:5817) |
| 2025-10-03 06:13:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-03 06:23:50 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-03 06:24:15 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-03 06:24:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 06:27:05 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-03 06:28:44 | × | synchromesh quits (~john@2406:5a00:2412:2c00:417e:fad9:96d5:67d5) (Read error: Connection reset by peer) |
| 2025-10-03 06:29:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-03 06:29:59 | → | synchromesh joins (~john@2406:5a00:2412:2c00:417e:fad9:96d5:67d5) |
| 2025-10-03 06:31:19 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-10-03 06:31:33 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-03 06:40:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 06:40:41 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-10-03 06:44:07 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-03 06:44:21 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-03 06:45:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-03 06:48:33 | × | Googulator2 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-03 06:48:50 | → | Googulator2 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-10-03 06:49:30 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-10-03 06:51:48 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-03 06:53:37 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-10-03 06:55:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 07:00:00 | × | caconym74787 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-03 07:00:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-03 07:00:39 | → | caconym74787 joins (~caconym@user/caconym) |
| 2025-10-03 07:00:44 | → | peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) |
| 2025-10-03 07:03:31 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in) |
| 2025-10-03 07:03:56 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-03 07:04:15 | × | Googulator2 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-10-03 07:04:19 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-03 07:08:59 | → | monochrom joins (trebla@216.138.220.146) |
| 2025-10-03 07:10:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 07:14:55 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-10-03 07:15:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-03 07:18:31 | × | peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 240 seconds) |
| 2025-10-03 07:22:56 | × | annamalai quits (~annamalai@157.32.124.122) (Ping timeout: 240 seconds) |
| 2025-10-03 07:25:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 07:32:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-03 07:34:42 | × | tromp quits (~textual@2001:1c00:3487:1b00:48e3:4bde:a27a:5817) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-03 07:37:25 | × | xdminsy quits (~xdminsy@117.147.71.54) (Read error: Connection reset by peer) |
| 2025-10-03 07:38:33 | → | xdminsy joins (~xdminsy@117.147.71.54) |
| 2025-10-03 07:43:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 07:48:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-03 07:59:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-03 08:03:53 | → | annamalai joins (~annamalai@157.32.116.36) |
All times are in UTC.