News for hackers. Stuff that matters.

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

Re:Hindley-Milner Type Inference (2012) by NOGDP on Friday July 10, 2020 @11:23PM (#23799199)
Is there anything specific that you find Rust is missing in this regard?
[ Parent | on HN ]
Re:Hindley-Milner Type Inference (2012) by eru on Saturday July 11, 2020 @12:27AM (#23799500)
I think Rust deliberately limits type inference to information available in a single function?
[ Parent | on HN ]
Re:Hindley-Milner Type Inference (2012) by steveklabnik on Saturday July 11, 2020 @12:15PM (#23803227)
Yes.
[ Parent | on HN ]