https://hackerpaper.kaipfister.de/p/2404.00338/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=41044507urn:hackerpapers:mention:2404.00338:41044507Tue, 23 Jul 2024 10:25:01 GMT<p>I think what you describe is called &quot;extensible records&quot;. Elm had them in a prior version. You can implement them in a language with an expressive enough type system (e.g. Haskell or Scala) without special support, but the syntax can be a bit unwieldy. Here&#x27;s three recent papers on extensible records: * https://arxiv.org/pdf/2108.06296 * https://arxiv.org/pdf/2404.00338 * https://dl.acm.org/doi/pdf/10.1145/3571224 I&#x27;m not claiming these are definitive in any sense, but they are useful guides into the literature if any reader wants to learn more. (If you are not used to reading programming…</p><p><a href="https://hackerpaper.kaipfister.de/p/2404.00338/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL