On: Ink: React for interactive CLI apps

[mardifoufs]

What would you consider to be more robust, while still being usable? I'm referring to the type system here specifically.

[wyager → mardifoufs]

Haskell, 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

[timeon → mardifoufs]

Anything with proper algebraic data types.

[FridgeSeal → mardifoufs]

Rudy, Haskell, Ocaml are obvious examples.

[mardifoufs → FridgeSeal]

Agreed. 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.