4 ms·
> the most robust type-system in the world (Typescript) The rare combo of Blub Paradox + Poe's Law
by wyager 2y ago
> the most robust type-system in the world (Typescript)
The rare combo of Blub Paradox + Poe's Law
- mardifoufs 2y agoWhat 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