3 ms·
This tutorial seems to miss the level-based generalization optimization, which is crucial for production-strength HM inference. For, that you can look at: http
by Kutta 6y ago
This tutorial seems to miss the level-based generalization optimization, which is crucial for production-strength HM inference. For, that you can look at:
http://okmij.org/ftp/ML/generalization.html http://okmij.org/ftp/ML/generalization.html
- shpongled 6y agoLevel based generalization is a massive improvement in speed - I'm currently writing a Standard ML compiler for fun, and I saw a 30-50% decrease in elaboration type-checking duration when I switched to using levels. And it's not difficult at all to implement.