Hindley-Milner型推論 let多相 を実現するための型推論 Algorithm W: top down Algorithm M: bottom up 続くといいな日記 – Let多相と型推論 watchlater 2023-07-02 watchlater Notes on Hindley-Milner polymorphism 参考文献 A Haskell implementation of Hindley–Milner (including unification) using STRefs · GitHub