Post #1665244
2026-04-10 22:57 UTC
GHC has had experimental support for linear types in Haskell since version 9.0.1
Replies (1)
-
@ultimate_worrier@lemmy.dbzer0.com 2026-04-10 23:59
Thanks. I think it’s most fair to count what a language has without extensions but thanks for the correction. To that end, Haskell basically has Dependent Types now too if you pile 10 extensions together (singletons, linear types, and others) and squint a little. It’ll easily be the first production-grade language to do so.