14.1 distributed-processパッケージファミリー 14.2 分散並行性か分散並列性か 14.3 最初の例:ピン(ping) 14.3.1 プロセスとProcessモナド 14.3.2 メッセージ型の定義 14.3.3 ピンサーバのプロセス 14.3.4 マスタープロセス 14.3.5 main関数 14.3.6 例題のまとめ 14.4 複数ノードでのピン 14.4.1 1つのマシン上で複数のノード 14.4.2 複数のマシン 14.5 型付きチャネル 14.5.1 チャネルのマージ 14.6 失敗処理 14.6.1 分散プログラムにおける失敗の哲学 14.7 分散チャットサーバ 14.7.1 データ型 14.7.2 メッセージ送信 14.7.3 放送 14.7.4 配布 14.7.5 サーバのテスト 14.7.6 失敗とノードの追加/削除 14.8 練習問題: 分散KVS