Newest at the top
| 2026-04-30 10:42:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-30 10:42:12 +0000 | <hadronized> | (that’s the why of my initial question regarding typeclasses and whether they solve a correctness problem) |
| 2026-04-30 10:41:55 +0000 | <hadronized> | the main goal of my language is correctness |
| 2026-04-30 10:41:50 +0000 | <hadronized> | so I am looking for a lighter alternative, even if I lose a bit of expressiveness |
| 2026-04-30 10:41:32 +0000 | <hadronized> | or requires synchronizing the documentation with the content of the body, which has been proven numerous times a bad idea (and even Zig std doesn’t do it correctly) |
| 2026-04-30 10:41:03 +0000 | <hadronized> | it forces you to look at the body to know the exact way of using that function |
| 2026-04-30 10:41:02 +0000 | haskellbridge | (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 2026-04-30 10:40:48 +0000 | <hadronized> | because looking at something like fn whatdoesitdo(comptime T: type, a: T, b: T) T { return a + b; } |
| 2026-04-30 10:40:42 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-30 10:40:19 +0000 | <hadronized> | Zig does that, and I deeply dislike it |
| 2026-04-30 10:40:13 +0000 | <hadronized> | and honestly, I sometimes feel like I should just go with duck typing, but yikes |
| 2026-04-30 10:40:00 +0000 | <hadronized> | monochrom: I wish I could KISS-design that part |
| 2026-04-30 10:37:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 10:33:42 +0000 | <hadronized> | and linear values go through explicit uninit, not destructors |
| 2026-04-30 10:33:39 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 245 seconds) |
| 2026-04-30 10:33:24 +0000 | <hadronized> | linear types -> move semantics, but I can create references to them, because linear values only would prevent sharing |
| 2026-04-30 10:32:56 +0000 | <hadronized> | ski: I have both, I think |
| 2026-04-30 10:30:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 10:29:23 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-30 10:26:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 10:26:01 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-04-30 10:25:33 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 265 seconds) |
| 2026-04-30 10:18:42 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-30 10:17:12 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-30 10:13:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 10:09:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 10:07:53 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-04-30 10:06:10 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-04-30 10:05:15 +0000 | bkani | (~bkani@user/bkani) (Ping timeout: 255 seconds) |
| 2026-04-30 10:00:33 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-04-30 09:55:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-30 09:54:42 +0000 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) (Ping timeout: 244 seconds) |
| 2026-04-30 09:53:58 +0000 | dcb | (~dcb@user/dcb) dcb |
| 2026-04-30 09:51:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 09:48:50 +0000 | dcb | (~dcb@user/dcb) (Quit: MSN Messenger v1.9.1) |
| 2026-04-30 09:45:50 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 252 seconds) |
| 2026-04-30 09:45:27 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-30 09:38:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-30 09:38:51 +0000 | acidjnk | (~acidjnk@p200300d6e700e563c33a7742599b7861.dip0.t-ipconnect.de) acidjnk |
| 2026-04-30 09:38:30 +0000 | hsw | (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) hsw |
| 2026-04-30 09:38:19 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e542c471e52a110f130f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-04-30 09:38:19 +0000 | acidjnk | (~acidjnk@p200300d6e700e542c471e52a110f130f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-04-30 09:37:00 +0000 | AlexZenon_2 | AlexZenon |
| 2026-04-30 09:35:19 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e563c33a7742599b7861.dip0.t-ipconnect.de) acidjnk |
| 2026-04-30 09:28:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 09:27:59 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2026-04-30 09:27:53 +0000 | FallenSky | (~FallenSky@user/FallenSky) FallenSky |
| 2026-04-30 09:24:45 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 255 seconds) |
| 2026-04-30 09:19:59 +0000 | anpad | (~pandeyan@user/anpad) (Ping timeout: 252 seconds) |
| 2026-04-30 09:17:06 +0000 | FallenSky | (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |