Logs: liberachat/#haskell
| 2026-04-30 07:52:02 | → | synchrom1 joins (~john@2406:5a00:247e:1500:655a:5069:c050:dc5f) |
| 2026-04-30 07:52:57 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 07:53:39 | × | synchromesh quits (~john@2406:5a00:247e:1500:655a:5069:c050:dc5f) (Ping timeout: 245 seconds) |
| 2026-04-30 07:54:44 | → | synchromesh joins (~john@139.180.114.128) |
| 2026-04-30 07:55:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 07:56:58 | × | synchrom1 quits (~john@2406:5a00:247e:1500:655a:5069:c050:dc5f) (Ping timeout: 248 seconds) |
| 2026-04-30 07:57:34 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 08:02:24 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 08:05:28 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 08:06:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 08:06:34 | → | chele joins (~chele@user/chele) |
| 2026-04-30 08:10:26 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 244 seconds) |
| 2026-04-30 08:13:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 08:15:04 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 08:15:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 08:20:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-30 08:20:16 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 276 seconds) |
| 2026-04-30 08:21:48 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e542c471e52a110f130f.dip0.t-ipconnect.de) |
| 2026-04-30 08:21:53 | → | acidjnk joins (~acidjnk@p200300d6e700e542c471e52a110f130f.dip0.t-ipconnect.de) |
| 2026-04-30 08:22:59 | × | bwe49895 quits (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2026-04-30 08:23:28 | → | bwe joins (~bwe@2a01:4f8:1c1c:4878::2) |
| 2026-04-30 08:24:13 | × | xff0x quits (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 272 seconds) |
| 2026-04-30 08:25:55 | → | xff0x joins (~xff0x@om126254252124.33.openmobile.ne.jp) |
| 2026-04-30 08:32:14 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 08:32:54 | × | redshuffle quits (~quassel@45.43.70.75) (Remote host closed the connection) |
| 2026-04-30 08:33:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 08:34:03 | × | xff0x quits (~xff0x@om126254252124.33.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2026-04-30 08:34:24 | × | myme quits (~myme@2a01:799:d5e:5f00:35e0:fff9:f0bb:6422) (Ping timeout: 246 seconds) |
| 2026-04-30 08:35:26 | → | myme joins (~myme@2a01:799:d5e:5f00:3407:abcf:7e59:2ab6) |
| 2026-04-30 08:37:31 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 264 seconds) |
| 2026-04-30 08:38:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-30 08:40:18 | → | xff0x joins (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 08:43:47 | × | berberman quits (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-30 08:44:31 | → | berberman joins (~berberman@user/berberman) |
| 2026-04-30 08:45:48 | × | berberman quits (~berberman@user/berberman) (Client Quit) |
| 2026-04-30 08:46:21 | → | berberman joins (~berberman@user/berberman) |
| 2026-04-30 08:49:16 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 08:50:41 | → | leppard joins (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) |
| 2026-04-30 08:52:20 | → | Googulator joins (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-30 08:54:07 | → | Square joins (~Square4@user/square) |
| 2026-04-30 08:56:06 | → | tok joins (~user@user/tok) |
| 2026-04-30 09:00:19 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 09:09:44 | <ski> | type class resolution also lack backtracking. and the cut relies heavily on ordering (of clauses, of disjunctions, and conjunctions, and when unifications are performed), while Haskell type class and instance declarations are supposed to be order independent |
| 2026-04-30 09:12:05 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 09:13:22 | <ski> | hadronized : "now that I linear types, a form of value dependency to implement borrowing","linearity for correct resource management; value dependency / borrowing for correct memory usage" -- it sounds like possibly you're having some form of uniqueness, not linearity. with uniqueness, you know noone has duplicated the reference in the past, but you still can, in the future, if you're not required to return |
| 2026-04-30 09:13:28 | <ski> | it unique. with linearity, you're forbidden from duplicating the reference in the future, but it might still have been duplicated in the past, before the linearity constraint was imposed on it |
| 2026-04-30 09:14:49 | <ski> | for update-in-place optimization of destroy-and-make-new-version, you want a unique reference, not having been duplicated in the past |
| 2026-04-30 09:15:54 | <ski> | (also for compile-time-scheduled-deallocation when you're dropping the reference, you also want uniqueness) |
| 2026-04-30 09:17:06 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 09:19:59 | × | anpad quits (~pandeyan@user/anpad) (Ping timeout: 252 seconds) |
| 2026-04-30 09:24:45 | × | xff0x quits (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 255 seconds) |
| 2026-04-30 09:27:53 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 09:27:59 | → | anpad joins (~pandeyan@user/anpad) |
| 2026-04-30 09:28:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 09:35:19 | → | acidjnk_new joins (~acidjnk@p200300d6e700e563c33a7742599b7861.dip0.t-ipconnect.de) |
| 2026-04-30 09:37:00 | AlexZenon_2 | is now known as AlexZenon |
| 2026-04-30 09:38:19 | × | acidjnk quits (~acidjnk@p200300d6e700e542c471e52a110f130f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-04-30 09:38:19 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e542c471e52a110f130f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-04-30 09:38:30 | → | hsw joins (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) |
| 2026-04-30 09:38:51 | → | acidjnk joins (~acidjnk@p200300d6e700e563c33a7742599b7861.dip0.t-ipconnect.de) |
| 2026-04-30 09:38:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-30 09:45:27 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 2026-04-30 09:45:50 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 252 seconds) |
| 2026-04-30 09:48:50 | × | dcb quits (~dcb@user/dcb) (Quit: MSN Messenger v1.9.1) |
| 2026-04-30 09:51:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 09:53:58 | → | dcb joins (~dcb@user/dcb) |
| 2026-04-30 09:54:42 | × | misterfish quits (~misterfis@094190207253.static.ipv4.heldenvannu.net) (Ping timeout: 244 seconds) |
| 2026-04-30 09:55:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-30 10:00:33 | → | bkani joins (~bkani@user/bkani) |
| 2026-04-30 10:05:15 | × | bkani quits (~bkani@user/bkani) (Ping timeout: 255 seconds) |
| 2026-04-30 10:06:10 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2026-04-30 10:07:53 | → | bkani joins (~bkani@user/bkani) |
| 2026-04-30 10:09:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 10:13:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 10:17:12 | × | jreicher quits (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-30 10:18:42 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-30 10:25:33 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 265 seconds) |
| 2026-04-30 10:26:01 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-04-30 10:26:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 10:29:23 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-30 10:30:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 10:32:56 | <hadronized> | ski: I have both, I think |
| 2026-04-30 10:33:24 | <hadronized> | linear types -> move semantics, but I can create references to them, because linear values only would prevent sharing |
| 2026-04-30 10:33:39 | × | leppard quits (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 245 seconds) |
| 2026-04-30 10:33:42 | <hadronized> | and linear values go through explicit uninit, not destructors |
| 2026-04-30 10:37:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 10:40:00 | <hadronized> | monochrom: I wish I could KISS-design that part |
| 2026-04-30 10:40:13 | <hadronized> | and honestly, I sometimes feel like I should just go with duck typing, but yikes |
| 2026-04-30 10:40:19 | <hadronized> | Zig does that, and I deeply dislike it |
| 2026-04-30 10:40:42 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-04-30 10:40:48 | <hadronized> | because looking at something like fn whatdoesitdo(comptime T: type, a: T, b: T) T { return a + b; } |
| 2026-04-30 10:41:02 | × | haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 2026-04-30 10:41:03 | <hadronized> | it forces you to look at the body to know the exact way of using that function |
| 2026-04-30 10:41:32 | <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:50 | <hadronized> | so I am looking for a lighter alternative, even if I lose a bit of expressiveness |
| 2026-04-30 10:41:55 | <hadronized> | the main goal of my language is correctness |
| 2026-04-30 10:42:12 | <hadronized> | (that’s the why of my initial question regarding typeclasses and whether they solve a correctness problem) |
| 2026-04-30 10:42:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-30 10:43:30 | <__monty__> | Typeclasses address an expressivity problem. Not sure what correctness problem exists that they could/would address. |
| 2026-04-30 10:43:43 | <hadronized> | yes, hence why I’m wondering |
All times are in UTC.