Gentle Intro: Index
1
イントロダクション
2
値、型、その他の有用な概念
2.1
多相型
2.2
ユーザ定義の型
2.2.1
再帰型
2.3
型の同義名
2.4
組み込みの型は特別な型ではない
2.4.1
リストの内包表記と数列表記
2.4.2
文字列
3
関数
3.1
ラムダ抽象
3.2
中置演算子
3.2.1
セクション
3.2.2
結合性宣言
3.3
関数は非正格
3.4
「無限の」データ構造
3.5
エラー関数
4
Case 式とパターン照合
4.1
パターン照合の意味論
4.2
例
4.3
Case 式
4.4
遅延パターン
4.5
字句の有効範囲と入れ子形式
4.6
レイアウト
5
型クラスと多重定義
6
再び、型について
6.1
Newtype 宣言
6.2
フィールドラベル
6.3
正格データ構築子
7
入出力
7.1
I/O の基本演算
7.2
アクションをつかったプログラミング
7.3
例外処理
7.4
ファイル、チャネル、ハンドル
7.5
Haskell と命令型プログラミング
8
Haskell の標準クラス
8.1
同値クラスと順序クラス
8.2
列挙クラス
8.3
Read クラスと Show クラス
8.4
導出されたインスタンス
9
モナドについて
9.1
モナドのクラス
9.2
組み込みモナド
9.3
モナドを使う
10
数
10.1
数値クラスの構造
10.2
構造のある数値型
10.3
数値型変換と多重定義されたリテラル
10.4
デフォルトの数値型
11
モジュール
11.1
修飾された名前
11.2
抽象データ型
11.3
そのほかの特徴
12
型付けの落し穴
12.1
let 束縛の多相性
12.2
数値の多重定義
12.3
単相性限定
13
配列
13.1
インデックス型
13.2
配列生成
13.3
累積
13.4
漸進更新
13.5
例:行列の積
14
次の段階
15
謝辞