書籍をつつく91ープログラミング言語StandardML入門。稀有なる本。2009-03-09 Mon 12:41
関数型言語といえば、知名度は低いけどStandard MLは外せないピヨ♪ということで・・・
プログラミング言語StandardML入門 目次は次の通りピヨ。 【目次】 第�吃堯�Standard ML言語 第1章 MLプログラミングの基本 1.1 システムの起動と終了 1.2 式の入力と評価 1.3 構文と型のエラー 1.4 変数の束縛と識別子 1.5 ファイルからのプログラムの入力 1.6 プログラムの終了と中断 第2章 2.1 関数の定義 2.2 関数適用の評価 2.3 再帰的関数 2.4 局所変数の使用 2.5 相互再帰的関数 2.6 高階の関数 2.7 関数式 2.8 変数のスコープ 2.9 2項演算子 第3章 MLの型システム 3.1 型推論と関数型チェック 3.2 型の多相性と多相関数 3.3 明示的な型宣言 3.4 関数名の多重定義 3.5 多相型の使用の制限 3.6 等値演算子の型の扱い 第4章 MLの基本データ型 4.1 単位型 4.2 心理値型 4.3 整数型 4.4 実数型 4.5 文字型 4.6 文字列型 第5章 レコード 5.1 レコード型とレコード式 5.2 フィールド取り出し演算＃ｌ 5.3 パターンマッチングによるレコードの操作 5.4 型推論上の制限 5.5 組型 第6章 リスト 6.1 リスト構造 6.2 リスト型（T list） 6.3 パターンマッチングによるリストの分解 6.4 リスト処理の基本関数 6.5 リスト処理の一般構造と汎用リスト処理関数 第7章 データ構造の定義と利用 7.1 datatype文によるデータ型の定義 7.2 パターンマッチングを用いたデータ構造の利用 7.3 パターンマッチングの拡張機能 7.4 システム定義のデータ型 7.5 データ型を使用したプログラミング例 7.6 無限なデータ構造の定義と利用 第8章 参照型 8.1 参照型（eqtype T ref）と逐次評価 8.2 履歴に依存するプログラム 8.3 変更可能なデータ構造 8.4 参照型と参照透過性 8.5 参照型と値多相性 第9章 例外処理 9.1 例外の定義と生成 9.2 例外ハンドらを用いた例外処理 9.3 例外を使ったプログラミング 9.4 多相型を引数とする例外 第10章 モジュールシステム 10.1 Structure文によるモジュールの定義と利用 10.2 モジュールのシグネチャの指定 10.3 不透明なシグネチャ制約と where type文 10.4 モジュールを使ったプログラミング例 10.5 functor文を使ったモジュールプログラミング 第11章 Standard MLの文法 11.1 表記上の約束 11.2 定数と識別子の書式 11.3 核言語式の文法構造 11.4 モジュール定義の構文構造 第�局堯�Standard ML基本ライブラリ 第12章 基本ライブラリの利用法 12.�機．薀ぅ屮薀蠅亮鑪爐箸修離轡哀優船磴良充�法 12.2 Generalストラクチャ 12.3 トップレベル環境 第13章 配列を用いたプログラミング 13.1 配列型（eqtype 'a array） 13.2 配列のソートアルゴリズム 第14章 システム時計の利用 14.1 TimeとTimerストラクチャ 第15章 入出力処理 15.1 MLの入出力モデル 15.2 テキスト入出力 15.3 関数型ストリームモデルの入出力処理 15.4 簡単な字句解析処理 15.5 入出力エラーの処理 第16章 データのフォーマッチング 16.1 SubstringとStringCvtストラクチャ 16.2 文字列からのデータの読み込み 16.3 書式付き書き出し処理 第17章 OSとのインタフェース 17.1 ディレクトリとファイルの操作 17.2 コマンドの起動 17.3 実行形式プログラムの作成 第18章 プログラミングプロジェクト 18.1 システムの仕様とそのモジュール構造 18.2 データ構造と制御情報の定義 18.3 トップレベル 18.4 プロンプトの印字と字句解析処理 18.5 構文解析処理の作成 18.6 印字処理の作成と構文解析処理のテスト 18.7 式の評価関数 18.8 URLの解析 18.9 分割コンパイル 18.10 URLに対する入出力処理 18.11 HTMLの構文解析 18.12 URLのコピーモジュールの作成 18.13 トップレベルループの完成 18.14 プログラミング課題 Standard MLの入手方法 索 引 この本は関数型言語MLの発展版であるStandard MLを解説した本ピヨ。Standard MLの邦書は今のところこの本だけだから貴重な本といえるピヨ♪Standard MLはOCamlの仲間だからOCaml使い手にとっても参考になる本だし、かなり古い言語だけあって他の関数型言語の使い手にとっても有益な情報が書いてあるピヨ。それに、18章のオリジナルのシェルを作成する課題はかなりよくて、結構な力が身に付くピヨ♪ だけどこの本には一つだけ難点があるピヨォ。それはこの本を読みこなすには数学の知識が要求される点ピョ。正直言ってこの点には困ったピヨ。どの程度の数学知識かというと高校ぐらいだよ。でもまぁ、関数型言語を堪能するには数学の知識があったほうがいいし、内容も中々いいので関数型言語を本気で習得したい人は是非読もう！ |
この記事のコメント |
コメントの投稿 |
||
|
|
||
| 管理者だけに閲覧 | ||
|
|
||
この記事のトラックバック |
|
| 無差別に技術をついばむ鳥 |
|