Logs: liberachat/#haskell
| 2025-09-06 18:07:55 | → | michalz joins (~michalz@185.246.207.217) |
| 2025-09-06 18:09:54 | <dminuoso> | This dot notation is a quirky example of how retrofitting features into an existing language can be incredibly awkward and hard, much like bolting a type system onto Python is a seemingly hopeless task. |
| 2025-09-06 18:10:53 | <dminuoso> | I consider lens/optics to be a far superior user interface to RecordDotSyntax which is quirky and unexpected in plentiful ways. |
| 2025-09-06 18:12:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 18:17:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-06 18:19:21 | <geekosaur> | agreed |
| 2025-09-06 18:22:51 | × | inline quits (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2025-09-06 18:24:23 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-06 18:24:44 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-09-06 18:27:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 18:32:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-06 18:43:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 18:43:33 | → | Jeanne-Kamikaze joins (~jeannekam@c-73-93-78-113.hsd1.ca.comcast.net) |
| 2025-09-06 18:46:31 | × | dfg quits (~dfg@user/dfg) (Ping timeout: 258 seconds) |
| 2025-09-06 18:47:46 | <davean> | dminuoso: I can not fathom why people want RecordDotSyntax over lenses |
| 2025-09-06 18:47:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-06 18:48:41 | <dminuoso> | Well if you have ever seen the lens type errors... |
| 2025-09-06 18:49:14 | <dminuoso> | Random unsatisfied Contravariant constraint. |
| 2025-09-06 18:49:19 | <dminuoso> | Ugh... |
| 2025-09-06 18:49:25 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-09-06 18:49:44 | <dminuoso> | But there's optics at least. |
| 2025-09-06 18:49:44 | <davean> | Yah there were some ways to work on that that happened. |
| 2025-09-06 18:50:21 | → | vapor joins (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) |
| 2025-09-06 18:50:26 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-09-06 18:51:05 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-06 18:51:18 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-06 18:56:23 | → | dfg joins (~dfg@user/dfg) |
| 2025-09-06 18:57:12 | × | vapor quits (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) (Quit: vapor) |
| 2025-09-06 18:58:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 19:00:04 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-06 19:00:29 | → | ubert1 joins (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) |
| 2025-09-06 19:00:45 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-09-06 19:02:33 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1) |
| 2025-09-06 19:02:57 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-06 19:03:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-06 19:03:55 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2025-09-06 19:05:55 | → | ars23 joins (~ars23@109.100.9.200) |
| 2025-09-06 19:06:11 | × | ars23 quits (~ars23@109.100.9.200) (Changing host) |
| 2025-09-06 19:06:11 | → | ars23 joins (~ars23@user/ars23) |
| 2025-09-06 19:06:20 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-09-06 19:13:47 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-06 19:13:53 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
| 2025-09-06 19:13:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 19:16:35 | × | leungbk quits (~user@syn-104-032-221-175.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-09-06 19:17:29 | trickard_ | is now known as trickard |
| 2025-09-06 19:17:44 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-09-06 19:18:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-06 19:22:04 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-09-06 19:22:56 | × | Jeanne-Kamikaze quits (~jeannekam@c-73-93-78-113.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2025-09-06 19:29:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 19:29:20 | → | leungbk joins (~user@syn-104-032-221-175.res.spectrum.com) |
| 2025-09-06 19:30:38 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-06 19:31:36 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-06 19:31:56 | → | img joins (~img@user/img) |
| 2025-09-06 19:33:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-06 19:36:05 | Vq_ | is now known as Vq |
| 2025-09-06 19:38:57 | × | ubert1 quits (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2025-09-06 19:42:46 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-06 19:44:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 19:50:49 | → | pavonia joins (~user@user/siracusa) |
| 2025-09-06 19:51:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-06 20:02:36 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-06 20:02:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 20:05:20 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-06 20:06:31 | → | ystael joins (~ystael@user/ystael) |
| 2025-09-06 20:07:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-06 20:14:47 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-06 20:16:39 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-06 20:18:06 | → | sprotte24 joins (~sprotte24@p200300d16f1ae200cce55c66184a5d60.dip0.t-ipconnect.de) |
| 2025-09-06 20:18:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 20:20:44 | × | ars23 quits (~ars23@user/ars23) (Quit: Leaving) |
| 2025-09-06 20:22:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-06 20:31:05 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2025-09-06 20:33:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 20:38:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-06 20:38:40 | × | leungbk quits (~user@syn-104-032-221-175.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-09-06 20:48:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 20:53:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-06 20:55:19 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-06 20:57:11 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-09-06 20:59:16 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-06 20:59:16 | ljdarj1 | is now known as ljdarj |
| 2025-09-06 20:59:56 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-09-06 21:00:11 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-06 21:00:12 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf) |
| 2025-09-06 21:00:12 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:71cd:9b76:1635:11bf) (Changing host) |
| 2025-09-06 21:00:12 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-06 21:00:30 | → | califax joins (~califax@user/califx) |
| 2025-09-06 21:03:43 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2025-09-06 21:04:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 21:07:20 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-06 21:07:33 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-06 21:08:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-06 21:10:43 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Quit: anselmschueler) |
| 2025-09-06 21:10:56 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 2025-09-06 21:19:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 21:24:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-06 21:35:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-06 21:36:29 | trickard_ | is now known as trickard |
| 2025-09-06 21:38:00 | × | h2t quits (~h2t@user/h2t) (Quit: ZNC - https://znc.in) |
All times are in UTC.