3 ms·

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.h

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 http://okmij.org/ftp/ML/generalization.html

nickpsecurity 11y ago
That looked a bit rough in comparison but with plenty of detail. I'll add that one too. Thanks.