ウソばっかり

The Essence of ML Type Inferenceには「MLの型推論アルゴリズムのよくある説明にしたがって実装すると、代入が頻発して遅いけど、この教科書では効率的な実装も説明してやるぜ。愚民ども心して読みやがれ」とは書いてあると思います。

その効率的な実装がどんなのかは、読んでいませんでした。OCamlの実装がどーのとちょくちょく出てくるので、効率的な実装というやつはimperativeにやるんだと思います。