型推論のアルゴリズム

　Haskell（というか、一般的な関数型言語）で使われている型推論のアルゴリズムはHindley-Milner type inference algorithmと言い、単純型つきラムダ計算の方で発明されたアルゴリズムらしい。参考：Wikipediaの型推論のページ
　ラムダ計算は実際に手を動かして証明とかを追った経験がないのでいまいち「わかった感」が得られていないのだが、勉強したところでいますぐ役立つ、というわけではないので、どうも頑張って手を動かす気になれない。しかし、こういった他の言語への応用なんかを見てると、やっぱ大事なんだなぁ、ちゃんと勉強しといた方がよさそうだなぁ、という気分にはなる。