2016 - 09 - 17 Scheme(Gauche)で型推論を書いてみる Scheme Hindley-Milnerの 型推論 アルゴリズム と、型クラスの実装に興味があるのですが、どこから手をつけていいのかさっぱりわかりません。とりあえず簡単に読めるコード無いかな、と探したところ JavaScript でのHM 型推論 実装を見つけました。 Type Inference in JavaScript コードにはしっかりドキュメントとしてのコメントがついていて非常にわかりやすいです。 ブラウザ上で見ると さらにわかりやすい。(この表示たまに見かけるけどめちゃくちゃ見やすくていいですね) This is based on Robert Smallshire's Python code. Which is based on Andrew's Scala code. Which is bas