プログラミング言語ML
著者
書誌事項
プログラミング言語ML
(ASCII software science, Language 8)
アスキー, 1996.3
- タイトル別名
-
Elements of ML programming
- タイトル読み
-
プログラミング ゲンゴ ML
大学図書館所蔵 件 / 全54件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Elements of ML programming.の翻訳
参考文献: p23-24
内容説明・目次
内容説明
史上最強の関数型言語ついに登場。MLは、高階関数、多相型(polymorphism)、抽象データ型、強い型づけ、高度にパラメータ化されたモジュール機構、精密な例外処理など、プログラミング言語の最新トレンドを満載したプログラミング言葉である。スタンフォード大学のプログラミング教育用に採用された学びやすさを知ってもらいたい。
目次
- 第1部 MLプログラミング入門(式;型の無矛盾;変数と環境 ほか)
- 第2部 MLの進んだ機能(多相型関数;高階関数;新しい型を定義する ほか)
- 第3部 MLの詳細な機能(レコード構造;照合とパターン;例外の詳細 ほか)
「BOOKデータベース」 より