generated at
Algorithm W
Hindley-Milner型推論のアルゴリズムの1つ
初出論文はA Theory of Type Polymorphism in Programming


>#WIP




http://dev.stephendiehl.com/fun/006_hindley_milner.html


Schemes for Functional Programs
https://zehnpaard.hatenablog.com/entry/2022/03/30/173835
https://zehnpaard.hatenablog.com/entry/2022/04/03/113727

https://jeremymikkola.com/posts/2018_03_25_understanding_algorithm_w.html

https://qiita.com/uint256_t/items/7d8c8feeffc03b388825
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf
そんなに分量もない

https://www.sciencedirect.com/science/article/pii/0022000078900144
https://github.com/pi8027/typeinfer
http://osiire.hatenablog.com/entry/20120211
let多相を持った型システムにおける型推論アルゴリズム
https://tociyuki.hatenablog.jp/entry/20160919/1474288592
実装した記事
https://blog.waft.me/2017/10/08/algorithm-w/
Swift
https://github.com/fetburner/TypeInfer
https://boxbase.org/entries/2018/mar/5/hindley-milner/
https://en.wikipedia.org/wiki/Hindley–Milner_type_system#Algorithm_W

Algorithm W Step by Step
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf

関連
Basic Polymorphic Typechecking

https://github.com/tomprimozic/type-systems/tree/master/algorithm_w
>アルゴリズムWに破壊的代入とランクによる効率的な一般化を加えた型システムの写経をしている。勉強になるな・・・ref