型の種類はint, bool, func, pairです。 式はリテラル(int, bool)とラムダ式、ペア、letが使えます。 let id = \x -> x in (id 3, id (\x -> x+1)) (int, (int -> int))
Hindley-Milner型システムのAlgorithm Jです。
