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.