News for hackers. Stuff that matters.

A comment on Jane Street and the OCaml Compiler (2018) [video]. Parent comment

Re:Jane Street and the OCaml Compiler (2018) [video] by smabie on Wednesday March 25, 2020 @10:23PM (#22690321)
Ocaml doesn't have a HM type system. I mean I guess it does, but Ocaml supports a lot of stuff HM doesn't.
[ Parent | on HN ]
Re:Jane Street and the OCaml Compiler (2018) [video] by mijoharas on Wednesday March 25, 2020 @11:34PM (#22690604)
Technically the same is true of Haskell[0] but most people (myself included) will refer to the kind of type system used as Hindley-Milner for simplicities sake. (Both are more powerful though)

[0] https://cstheory.stackexchange.com/a/30528/20014

[ Parent | on HN ]