News for hackers. Stuff that matters.
Re:What is Hindley-Milner and why is it cool? (2008) by weinzierl on Sunday August 20, 2017 @04:20PM (#15060082)
I think Animats was referring to the

> forward inference of types within functions, while declaring them in function definitions.

part, not type inference in general.

There are no comments on this comment yet.