pi8027/typeinfer — Issue #29: 3.3 置換による多相
Author: cutsea110
Created: 2011-11-08 07:04:09+00:00
State: open

3.3.1でアルゴリズムの紹介→3.3.2で実装となっているけど、実装の前に簡単な例とそれがどのように型推論されるかを説明するような節は設けられないでしょうか？
ボリュームがかなりでかくなってしまう？