Newest at the top
| 2025-10-24 19:38:09 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Read error: Connection reset by peer) |
| 2025-10-24 19:34:45 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-24 19:34:24 +0200 | <tomsmeding> | I want both >.< |
| 2025-10-24 19:34:09 +0200 | <tomsmeding> | My current codebase has lists, and I have to mentally reverse all the time. I did this because I came from a codebase that had a custom data type, and the notation was ugly and verbose |
| 2025-10-24 19:33:08 +0200 | <tomsmeding> | Can't have nice things |
| 2025-10-24 19:32:47 +0200 | <tomsmeding> | So if you have a well-typed AST indexed by a type-level list indicating the typing environment, then you have a choice: either your type-level list goes the wrong way and you hvae to mentally reverse all the time, or you use your own custom snoc list data type and lose the nice list syntax. |
| 2025-10-24 19:32:04 +0200 | <tomsmeding> | However, typing environments in programming language theory are snoc lists, not cons lists. |
| 2025-10-24 19:31:50 +0200 | <tomsmeding> | Lists have nice syntax in Haskell, and they carry that syntax to the type level too: type-level lists are nice. |
| 2025-10-24 19:31:36 +0200 | <tomsmeding> | Here's an idle complaint that you may well ignore if you want to. |
| 2025-10-24 19:25:40 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 19:25:30 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 19:23:06 +0200 | jespada | (~jespada@2800:a4:225c:5f00:7482:e18d:48f6:46e9) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-10-24 19:18:06 +0200 | jespada | (~jespada@2800:a4:225c:5f00:7482:e18d:48f6:46e9) jespada |
| 2025-10-24 19:18:02 +0200 | bggd | (~bgg@2a01:e0a:819:1510:7bcd:1a48:39fb:eb8e) |
| 2025-10-24 19:15:55 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.7.1) |
| 2025-10-24 19:15:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 19:10:56 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-10-24 19:08:43 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-24 19:07:41 +0200 | Berimor | (~Guest54@95.68.100.1) (Client Quit) |
| 2025-10-24 19:07:11 +0200 | Guest54 | Berimor |
| 2025-10-24 19:05:41 +0200 | Guest54 | (~Guest54@95.68.100.1) |
| 2025-10-24 19:03:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-24 19:01:05 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-24 19:00:45 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-24 18:58:05 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-24 18:55:39 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-24 18:54:46 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-24 18:53:08 +0200 | yin | (~zero@user/zero) zero |
| 2025-10-24 18:50:41 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 18:50:39 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-10-24 18:50:38 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 18:48:15 +0200 | acidjnk | (~acidjnk@p200300d6e71719145522d7c0b030ad0e.dip0.t-ipconnect.de) acidjnk |
| 2025-10-24 18:39:55 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-24 18:39:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-24 18:28:13 +0200 | kuribas | (~user@2a02-1810-2825-6000-123f-3da5-629e-495e.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-10-24 18:28:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-24 18:27:11 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-24 18:26:56 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-24 18:24:16 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-24 18:16:15 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-24 18:15:22 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2025-10-24 18:03:24 +0200 | trickard_ | trickard |
| 2025-10-24 18:02:31 +0200 | yin | (~zero@user/zero) zero |
| 2025-10-24 18:00:39 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-10-24 17:54:45 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-24 17:53:26 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: leaving) |
| 2025-10-24 17:52:36 +0200 | yin | (~zero@user/zero) zero |
| 2025-10-24 17:50:02 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-10-24 17:48:18 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) synchromesh |
| 2025-10-24 17:47:12 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) (Read error: Connection reset by peer) |