Bibliographic Information

プログラミング言語ML

Jeffrey D.Ullman著 ; 神林靖訳

(ASCII software science, Language 8)

アスキー, 1996.3

Other Title

Elements of ML programming

Title Transcription

プログラミング ゲンゴ ML

Available at  / 54 libraries

Note

Elements of ML programming.の翻訳

参考文献: p23-24

Description and Table of Contents

Description

史上最強の関数型言語ついに登場。MLは、高階関数、多相型(polymorphism)、抽象データ型、強い型づけ、高度にパラメータ化されたモジュール機構、精密な例外処理など、プログラミング言語の最新トレンドを満載したプログラミング言葉である。スタンフォード大学のプログラミング教育用に採用された学びやすさを知ってもらいたい。

Table of Contents

  • 第1部 MLプログラミング入門(式;型の無矛盾;変数と環境 ほか)
  • 第2部 MLの進んだ機能(多相型関数;高階関数;新しい型を定義する ほか)
  • 第3部 MLの詳細な機能(レコード構造;照合とパターン;例外の詳細 ほか)

by "BOOK database"

Related Books: 1-1 of 1

Details

Page Top