3 ms·
What would you consider to be more robust, while still being usable? I'm referring to the type system here specifically.
by mardifoufs 2y ago
What would you consider to be more robust, while still being usable? I'm referring to the type system here specifically.
- FridgeSeal 2y agoRudy, Haskell, Ocaml are obvious examples.
- mardifoufs 2y agoAgreed. I just think that those are (sadly, as I like OCaml) apparently not very practical, at least not according to most people. As far as "widely used languages" (which is a totally subjective concept I realize that!), TypeScript has a pretty solid type system. One of the most robust that is widely used.
- timeon 2y agoAnything with proper algebraic data types.
- wyager 2y agoHaskell, any ML, Rust, etc. TS is on par with any crufty ad-hoc type system like that of Java or C++. The TS type system is neither especially powerful nor especially robust