Chapter 17 Abstractions for Concurrency

1 はじめに
2 最初の例
3 アクターとメッセージによるプログラミング

+

4 式と簡単な関数

4 式と簡単な関数 4.1 式と簡単な関数 4.2 パラメータ 4.3 条件式 4.4 例：ニュートン法による平方根計算 4.5 ネストした関数 4.6 末尾再帰

+

5 第一級の関数

5 第一級の関数 5.1 無名関数 5.2 カリー化 5.3 例：関数の不動点探索 5.4 まとめ 5.5 ここまでの構文

6 クラスとオブジェクト

+

7 ケースクラスとパターンマッチング

7 ケースクラスとパターンマッチング 7.1 ケースクラスとケースオブジェクト 7.2 パターンマッチング

+

8 ジェネリックな型とメソッド

8 ジェネリックな型とメソッド 8.1 型パラメータの境界 8.2 変位指定アノテーション 8.3 下限境界 8.4 最下層の型 8.5 タプル 8.6 関数

+

9 リスト

9 リスト 9.1 リストの使用 9.2 リストクラスの定義Ⅰ:一階メソッド 9.3 例：マージソート 9.4 リストクラスの定義Ⅱ:高階メソッド 9.5 まとめ

+

10 For内包表記

10 For内包表記 10.1 N クィーン問題 10.2 For 内包表記によるクエリ 10.3 For 内包表記の変換 10.4 For ループ 10.5 For の一般化

+

11 ミュータブルな状態

11 ミュータブルな状態 11.1 状態を持つオブジェクト 11.2 命令型制御構造 11.3 高度な例：離散イベントシミュレーション 11.4 まとめ

12 ストリームによる計算

+

13 イテレータ

13 イテレータ 13.1 イテレータメソッド 13.2 イテレータの構築 13.3 イテレータの使用

14 遅延評価val
15 暗黙のパラメータと変換
16 Hindley/Milner 型推論

+

17 並列処理の抽象

17 並列処理の抽象 17.1 シグナルとモニター 17.2 同期変数 17.3 フューチャー 17.4 並列計算 17.5 セマフォ 17.6 リーダー/ライター 17.7 非同期チャネル 17.8 同期チャネル 17.9 ワーカー 17.10 メールボックス 17.11 アクター

参考文献