書籍概要

プログラミング in OCaml
〜関数型プログラミングの基礎からGUI構築まで〜

著者
発売日
更新日

概要

OCamlは，フランスのINRIAで開発された関数型言語です。実行速度も速く，バグも作りにくい言語構造となっているため，一番実用的な関数言語といわれています。

本書は，このOCamlを通じて関数型言語のプログラミングを学ぶとともに，OCamlならではの実用的なプログラミングについて解説しています。

こんな方におすすめ

  • 情報科学系の学生，研究者
  • 関数言語に興味のある人

サンプル

sample

目次

第1章　はじめに

  • 1.1　この本の読み方
  • 1.2　準備
  • 1.3　OCamlに関する情報源
  • 1.4　OCamlの特徴
  • 1.5　OCamlの歴史

第2章　いろいろな式を評価してみよう

  • 2.1　対話式コンパイラ
  • 2.2　基本データ型とその演算
  • 2.3　変数束縛による定義

第3章　関数型言語の醍醐味：関数

  • 3.1　簡単な関数の定義
  • 3.2　条件分岐と真偽値型bool
  • 3.3　局所的変数束縛とlet式
  • 3.4　構造のためのデータ型：組
  • 3.5　再帰関数
  • 3.6　高階関数

第4章　少ない手間で型付けをする：多相性と型推論

  • 4.1　多相的関数とパラメトリック多相
  • 4.2　型推論とlet多相
  • 4.3　Case Study：コンビネータ
  • 4.4　練習問題

第5章　再帰的多相的データ構造：リスト

  • 5.1　リストの構成法
  • 5.2　リストの要素へのアクセス：match 式とリストパターン
  • 5.3　リストを操作するさまざまな関数
  • 5.4　Case Study：整列アルゴリズム
  • 5.5　練習問題

第6章　データ構造をデザインする：レコードとヴァリアント

  • 6.1　レコード
  • 6.2　ヴァリアント
  • 6.3　ヴァリアントの応用
  • 6.4　Case Study：二分木
  • 6.5　Case Study：無限列
  • 6.6　練習問題

第7章　例外処理

  • 7.1　オプション型による例外処理
  • 7.2　raise式とtry式による例外処理
  • 7.3　exception宣言とexn型
  • 7.4　練習問題

第8章　書き換え可能なデータ構造と入出力を使った命令型プログラム

  • 8.1　unit型
  • 8.2　書き換え可能なデータ構造
  • 8.3　制御構造
  • 8.4　Case Study：参照を使ったデータ構造ーーキュー
  • 8.5　チャネルを使った入出力
  • 8.6　練習問題

第9章　モジュールによるプログラムの構造化

  • 9.1　ライブラリ・モジュールの使い方
  • 9.2　モジュール定義
  • 9.3　シグネチャを使った情報隠蔽と抽象データ型
  • 9.4　練習問題

第10章　バッチコンパイラと分割コンパイル

  • 10.1　バッチコンパイラによる実行可能ファイルの作成
  • 10.2　モジュール単位の分割コンパイル
  • 10.3　システム周りの関数・モジュール
  • 10.4　その他
  • 10.5　練習問題

第11章　モジュール関数：ファンクター

  • 11.1　ライブラリモジュールのファンクターとファンクター適用
  • 11.2　ファンクター定義
  • 11.3　ファンクターと情報隠蔽
  • 11.4　複数の引数をとるファンクター
  • 11.5　練習問題

第12章　OCamlの“O”：オブジェクト

  • 12.1　単純なクラス
  • 12.2　自分自身のメソッドを呼び出す
  • 12.3　継承によるクラスの拡張
  • 12.4　オブジェクトのための型付け
  • 12.5　より高度なクラス機能・型
  • 12.6　練習問題

第13章　ラベル付き引数とオプション引数

  • 13.1　ラベル付き関数を使う
  • 13.2　ラベル付き引数詳説
  • 13.3　オプション引数
  • 13.4　まとめ

第14章　多相ヴァリアント

  • 14.1　多相ヴァリアントの基本
  • 14.2　関数定義の拡張
  • 14.3　再帰的関数と多相ヴァリアント
  • 14.4　その他
  • 14.5　練習問題

第15章　GUI ライブラリ：LablTk

  • 15.1　「銀行窓口」を作ってみる
  • 15.2　ウィジェットの紹介
  • 15.3　ウィジェットの配置：Tk.pack関数とPackモジュール
  • 15.4　イベント処理の割り当て：bind
  • 15.5　その他
  • 15.6　練習問題

第16章　Case Study：お絵かきロジック

  • 16.1　お絵かきロジックとは？
  • 16.2　プログラム解説
  • 16.3　まとめ
  • あとがき

APPENDIX:A　OCaml処理系などのインストール

  • A.1　Windows環境へのインストール
  • A.2　Linux環境へのインストール

APPENDIX:B　OCaml Browserの使い方

  • B.1　エディタの起動法・使い方
  • B.2　シェル（コンパイラ窓）の使い方
  • B.3　ライブラリブラウザの使い方

APPENDIX:C　ocaml-modeの設定・使い方

  • C.1　プログラム編集のためのコマンド
  • C.2　シェルバッファでのコマンド

サポート

補足情報

著者の五十嵐淳さんのサイトにおいて，本書のサポートページが開設されています。

商品一覧