プログラミング言語Standard ML入門（改訂版）

プログラミング言語 Standard ML 入門 (問題の解答例)

I Standard ML言語 2.9 2項演算子 3.1 型推論と静的型チェック

第 3 章 MLの型システム

3.1 型推論と静的型チェック

3.2 型の多相性と多相関数

3.3 明示的な型宣言

3.4 関数名の多重定義

3.5 多相型の使用の制限

3.6 等値演算子の型の扱い