今回からHindley Milner型推論の要であるLet多相を実装していく。 これまで見てきた型推論は単相な関数しか扱えなかった。例えばこのようなコードはOCamlでは通る： utop # let id x = x = x in id 1 && id "hello";; - : bool = true しかし単相的な型推論…