Arantium Maestum
id:zehnpaard
型推論を実装する その３ （型推論のある言語を作る）
型なしのLETREC、型検査のCHECKEDときて、ついに型推論ができるINFERREDの実装に移る。 github.com 言語仕様の変更 前回のCHECKEDでは letrec int double(x : int) = if zero?(x) then 0 else -((double -(x, 1)), -(0, 2)) in (double 6) のように関数の仮引数の型と、再帰関数の戻り値の型を明示的に指定する必要があっ…
