内容説明
史上最強の関数型言語ついに登場。ＭＬは、高階関数、多相型（ｐｏｌｙｍｏｒｐｈｉｓｍ）、抽象データ型、強い型づけ、高度にパラメータ化されたモジュール機構、精密な例外処理など、プログラミング言語の最新トレンドを満載したプログラミング言葉である。スタンフォード大学のプログラミング教育用に採用された学びやすさを知ってもらいたい。
目次
第１部 ＭＬプログラミング入門（式；型の無矛盾；変数と環境 ほか）
第２部 ＭＬの進んだ機能（多相型関数；高階関数；新しい型を定義する ほか）
第３部 ＭＬの詳細な機能（レコード構造；照合とパターン；例外の詳細 ほか）
