News for hackers. Stuff that matters.

A comment on Ink: React for Interactive CLI Apps. Parent comment

Re:Ink: React for Interactive CLI Apps by wyager on Friday November 01, 2024 @01:53PM (#42019651)
> the most robust type-system in the world (Typescript)

The rare combo of Blub Paradox + Poe's Law

[ Parent | on HN ]
Re:Ink: React for Interactive CLI Apps by mardifoufs on Friday November 01, 2024 @03:01PM (#42020389)
What would you consider to be more robust, while still being usable? I'm referring to the type system here specifically.
[ Parent | on HN ]
Re:Ink: React for Interactive CLI Apps by FridgeSeal on Friday November 01, 2024 @04:29PM (#42021232)
Rudy, Haskell, Ocaml are obvious examples.
[ Parent | on HN ]
Re:Ink: React for Interactive CLI Apps by mardifoufs on Saturday November 02, 2024 @01:30AM (#42024259)
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.
[ Parent | on HN ]
Re:Ink: React for Interactive CLI Apps by timeon on Friday November 01, 2024 @06:35PM (#42022232)
Anything with proper algebraic data types.
[ Parent | on HN ]
Re:Ink: React for Interactive CLI Apps by wyager on Saturday November 02, 2024 @11:32AM (#42026973)
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

[ Parent | on HN ]