Logs: liberachat/#haskell
| 2025-11-02 22:08:39 | <monochrom> | OK you're right, that needs only **. I forgot where the third came from. |
| 2025-11-02 22:08:56 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-11-02 22:09:41 | <fgarcia> | things like " xss " have been good. less attention to the variables when the type signature and function name can be enough. haskell has been wonderful to present meaning at the desired places |
| 2025-11-02 22:09:51 | EvanR | rips the 3-star pin off monochrom's uniform |
| 2025-11-02 22:13:28 | → | qqe joins (~qqq@185.54.21.203) |
| 2025-11-02 22:16:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-02 22:21:33 | × | Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-11-02 22:22:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 22:22:47 | × | Zemyla quits (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-02 22:25:46 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-02 22:27:50 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 2025-11-02 22:29:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-02 22:32:43 | × | Xe quits (~Xe@perl/impostor/xe) (Ping timeout: 256 seconds) |
| 2025-11-02 22:33:02 | → | Xe joins (~Xe@perl/impostor/xe) |
| 2025-11-02 22:33:18 | <mwnaylor> | <type> **variable reminds me of the double pointers in the in the original Mac system code. Except Apple called them Ptr and Handle (I think). The Ptr held the address of allocated memory, which was stored in the Handle. This allowed blocks of memory to be moved around. Before reading/writing memory, the Handle got locked. Then unlocked when the operation was complete. |
| 2025-11-02 22:34:34 | <monochrom> | Nice. |
| 2025-11-02 22:34:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 22:43:20 | → | Nachtgespenst joins (~user@user/siracusa) |
| 2025-11-02 22:45:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-02 22:46:00 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 2025-11-02 22:49:39 | × | Zemyla quits (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-02 22:49:43 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-11-02 22:50:04 | <jackdk> | mwnaylor: you might enjoy http://jackkelly.name/blog/archives/2024/10/12/a_dictionary_of_single-letter_variable_names/ |
| 2025-11-02 22:50:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 22:57:54 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 2025-11-02 23:01:18 | × | tromp quits (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-02 23:01:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-02 23:01:49 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-02 23:02:52 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 2025-11-02 23:05:28 | → | weary-traveler joins (~user@user/user363627) |
| 2025-11-02 23:06:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-02 23:06:44 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-02 23:12:37 | <EvanR> | >The bulk of the dictionary documents type variables, where overly long variable names can blow out complicated type signatures |
| 2025-11-02 23:13:07 | <EvanR> | oh yeah, naming the type variables is much less common it seems |
| 2025-11-02 23:14:17 | → | fp joins (~Thunderbi@216-165-247-67.championbroadband.com) |
| 2025-11-02 23:16:12 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-02 23:16:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-02 23:18:46 | → | weary-traveler joins (~user@user/user363627) |
| 2025-11-02 23:21:46 | <EvanR> | this dictionary could be 26 pages long, one chapter for each page |
| 2025-11-02 23:22:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-02 23:22:17 | → | comonad joins (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-11-02 23:28:34 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 2025-11-02 23:30:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-02 23:34:21 | → | AlexNoo_ joins (~AlexNoo@178.34.151.83) |
| 2025-11-02 23:37:00 | × | AlexZenon quits (~alzenon@178.34.160.166) (Ping timeout: 245 seconds) |
| 2025-11-02 23:37:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-02 23:37:57 | × | AlexNoo quits (~AlexNoo@178.34.160.166) (Ping timeout: 252 seconds) |
| 2025-11-02 23:38:50 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 2025-11-02 23:41:10 | → | AlexZenon joins (~alzenon@178.34.151.83) |
| 2025-11-02 23:48:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-02 23:54:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 00:04:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-03 00:07:35 | × | anpad quits (~pandeyan@user/anpad) (Ping timeout: 244 seconds) |
| 2025-11-03 00:08:06 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-03 00:09:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 00:20:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-03 00:25:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 00:27:34 | → | anpad joins (~pandeyan@user/anpad) |
| 2025-11-03 00:30:48 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-03 00:31:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-03 00:36:36 | <monochrom> | I am not sure that chapters for q or z are really that long. :) |
| 2025-11-03 00:36:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 00:42:30 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-11-03 00:47:15 | → | Square3 joins (~Square4@user/square) |
| 2025-11-03 00:47:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-03 00:50:00 | × | Square2 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-11-03 00:52:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 00:55:32 | × | fp quits (~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 256 seconds) |
| 2025-11-03 01:03:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-03 01:04:42 | → | bggd joins (~bgg@2a01:e0a:819:1510:e235:2c82:c1ae:1944) |
| 2025-11-03 01:06:12 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-03 01:07:29 | × | qqe quits (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-03 01:07:44 | → | Inline joins (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) |
| 2025-11-03 01:08:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-03 01:15:19 | × | otto_s quits (~user@p4ff274ae.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-03 01:17:02 | → | otto_s joins (~user@p5b044953.dip0.t-ipconnect.de) |
| 2025-11-03 01:18:00 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-03 01:19:46 | → | notzmv joins (~umar@user/notzmv) |
| 2025-11-03 01:19:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-03 01:22:04 | → | anpad joins (~pandeyan@user/anpad) |
| 2025-11-03 01:27:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-03 01:28:08 | → | karenw joins (~karenw@user/karenw) |
| 2025-11-03 01:36:19 | × | acidjnk quits (~acidjnk@p200300d6e717199990ac1ea32c3bb350.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-11-03 01:37:22 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-03 01:37:45 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-03 01:37:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-03 01:38:32 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-03 01:40:08 | → | califax joins (~califax@user/califx) |
| 2025-11-03 01:43:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-03 01:43:40 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-11-03 01:45:51 | × | itaipu quits (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-11-03 01:50:55 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-11-03 01:50:58 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-11-03 01:51:11 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-03 01:51:53 | Googulator61 | is now known as Googulator |
| 2025-11-03 01:53:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-03 01:55:00 | → | annamalai joins (~annamalai@157.32.123.184) |
| 2025-11-03 01:58:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-03 02:00:48 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2025-11-03 02:02:58 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
All times are in UTC.