Re:So you still don't understand Hindley-Milner? (2013)
by cwzwarich on Saturday February 06, 2016 @04:53PM
(#11050121)
This is probably my favorite explanation of HM type inference, based on an analogy with region-based memory management: http://okmij.org/ftp/ML/generalization.html
[ Parent
| on HN ]
Re:So you still don't understand Hindley-Milner? (2013)
by nickpsecurity on Saturday February 06, 2016 @11:45PM
(#11051653)
That looked a bit rough in comparison but with plenty of detail. I'll add that one too. Thanks.