News for hackers. Stuff that matters.

A comment on Hindley-Milner Type Inference (2012). Parent comment

Re:Hindley-Milner Type Inference (2012) by brianberns on Friday July 10, 2020 @03:42PM (#23795522)
In F# (which is very similar to OCaml), you’d have to explicitly cast the return value to “obj” to get this to compile.
[ Parent | on HN ]
Re:Hindley-Milner Type Inference (2012) by ohadrau on Friday July 10, 2020 @06:42PM (#23797435)
Just to clarify to people not familiar with the two languages and their differences, this is somewhere where the two languages diverge greatly. OCaml does not have an "obj" type that we can cast to (and in general casts are quite rare).
[ Parent | on HN ]