プログラミング言語ML

著者

• Ullman, Jeffrey D.
• 神林, 靖 カンバヤシ, ヤスシ

書誌事項

プログラミング言語ML

Jeffrey D.Ullman著 ; 神林靖訳

（ASCII software science, Language 8）

アスキー, 1996.3

タイトル別名

Elements of ML programming

タイトル読み

プログラミング ゲンゴ ML

注記

Elements of ML programming.の翻訳

参考文献: p23-24

内容説明・目次

内容説明

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

目次

• 第１部　ＭＬプログラミング入門（式；型の無矛盾；変数と環境　ほか）
• 第２部　ＭＬの進んだ機能（多相型関数；高階関数；新しい型を定義する　ほか）
• 第３部　ＭＬの詳細な機能（レコード構造；照合とパターン；例外の詳細　ほか）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN14241849
• ISBN:
  • 4756116418
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: 430p
• 大きさ: 21cm
• 分類:
  • NDC8 : 007.64
  • NDC7 : 418.6
  • NDLC : M159
• 件名:
  • BSH : 電子計算機 -- プログラミング
  • NDLSH : プログラミング用言語
• 親書誌ID:
  • BN00245863