News for hackers. Stuff that matters.

A comment on Show HN: Ezno, a type checker for JavaScript and optimiser for React. Parent comment

Re:Show HN: Ezno, a type checker for JavaScript and optimise... by the_duke on Friday September 23, 2022 @03:50PM (#32956276)
As the sibling comment mentioned, both Ocaml and Haskell use this kind of type inference.

Search for Hindley Milliner type system.

[ Parent | on HN ]
Re:Show HN: Ezno, a type checker for JavaScript and optimise... by wk_end on Friday September 23, 2022 @06:28PM (#32957835)
This is far beyond Hindley-Milner (as are Ocaml and Haskell), which is pretty primitive in-and-of-itself.
[ Parent | on HN ]