4 ms·
GHC Haskell is a fairly large language with a considerable legacy already, so integrating linear or affine types into it may well be a very different question f
by mananaysiempre 2y ago
GHC Haskell is a fairly large language with a considerable legacy already, so integrating linear or affine types into it may well be a very different question from making a language centered around them. That language exists in the form of Clean[1,2]. Admittedly it’s not really well-known.
[1] https://clean.cs.ru.nl/ https://clean.cs.ru.nl/
[2] https://clean-lang.org/ https://clean-lang.org/
- benreesman 2y agoThank you for making me aware of Clean, on quick glance it looks cool. I like a lot of things about Rust: it’s got compiler checked exhaustive pattern match and a good initialization syntax and Either baked in and fucking correct package management and a ton of other things. I’ll look at Clean to see if linear-only memory management can be done gracefully. Rust is a lot of cool things but not the language that demonstrated that.
- MarcusE1W 2y agoThere is also Austral, which has linear types as a main capability: https://austral-lang.org/ https://austral-lang.org/