Functional Programming Strategies in Scala with Cats 日本語版
最近（多分2024年2月頃から）、Scala with Cats を読もうとすると『Functional Programming Strategies』という書籍ページが表示されます。これは Scala with Cats の著者（のひとり）である Noel さんがかれこれ3年ほど前から書き進めているものです。Scala with Cats の第二版のような位置付けでもあるかもしれませんが、大幅に加筆されてほぼ別の本になっています。2025年5月現在まだ執筆中で、執筆と並行して和訳を行っています。
関数型プログラミング戦略（Functional Programming Strategies）というのは、日本語で戦略というとやや違和感がないでもないですが、関数型プログラミングにおいて繰り返し現れる抽象的なパターンのことで、オブジェクト指向でいうところのデザインパターンみたいなものです。
Scala with Cats も、モナドやファンクターといった概念をそういうパターンとみなして紹介していたわけですが、Cats で型クラスとして実現されているものだけにフォーカスしていました。この新しい書籍は、たとえば代数的データ型や Tagless Final みたいなものもパターンのひとつとして、幅広いトピックを紹介しています。
こういったトピックをひとつひとつ丁寧に掘り下げている本は、自分は他に知りません。関数型プログラミングに興味があるなら、是非読んでみるとよいと思います。
現時点での目次を、以下にざっと並べておきます。
- 関数型プログラミング戦略
1.1. コードを考えるための三つのレベル
1.2. 関数型プログラミング - 代数的データ型
2.1. 代数的データ型の構築
2.2. Scala における代数的データ型
2.3. 構造的再帰
2.4. 構造的余再帰
2.5. 代数的データ型における代数
2.6. まとめ - 余データとしてのオブジェクト
3.1. データと余データ
3.2. Scala における余データ
3.3. 余データの構造的再帰と余再帰
3.4. データと余データの関係
3.5. データと余データの拡張性
3.6. 演習: さまざまな集合
3.7. まとめ - コンテキスト抽象化
4.1. コンテキスト抽象化のメカニズム
4.2. 型クラスの仕組み
4.3. 型クラスの合成
4.4. 型クラスとは何か
4.5. 演習: 表示ライブラリ
4.6. 型クラスと変位
4.7. まとめ - インタープリタ
5.1. 正規表現
5.2. インタープリタとレイフィケーション
5.3. 末尾再帰インタープリタ
5.4. まとめ - Cats を使う
6.1. クイックスタート
6.2. Cats を使う
6.3. 例題: Eq - モノイドと半群
7.1. モノイドの定義
7.2. 半群の定義
7.3. Cats におけるモノイド
7.4. モノイドの応用
7.5. まとめ - ファンクター
8.1. ファンクターの例
8.2. さまざまなファンクター
8.3. ファンクターの定義
8.4. 補足: 高カインド型と型コンストラクタ
8.5. Cats におけるファンクター
8.6. 反変ファンクターと非変ファンクター
8.7. Cats の Contravariant と Invariant
8.8. 補足: 部分的ユニフィケーション
8.9. まとめ - モナド
9.1. モナドとは何か
9.2. Cats におけるモナド
9.3. Identity モナド
9.4. Either
9.5. 補足: エラーハンドリングと MonadError
9.6. Eval モナド
9.7. Writer モナド
9.8. Reader モナド
9.9. State モナド
9.10. 独自のモナドを定義する
9.11. まとめ - モナド変換子
10.1. 演習: モナドの合成
10.2. 変換の例
10.3. Cats におけるモナド変換子
10.4. 演習: モナド戦士、トランスフォーム、出動！
10.5. まとめ - Semigroupal と Applicative
11.1. Semigroupal
11.2. apply 構文
11.3. さまざまな型に対する Semigroupal
11.4. Parallel
11.5. Apply と Applicative
11.6. まとめ - Foldable と Traverse
12.1. Foldable
12.2. Traverse
12.3. まとめ - インデックス付き型
13.1. ファントム型
13.2. インデックス付き余データ
13.3. インデックス付きデータ
13.4. まとめ - Tagless Final インタープリタ
14.1. 余データ的インタープリタ
14.2. Tagless Final インタープリタ
14.3. 代数的ユーザインターフェース
14.4. よりよいエンコーディング
14.5. まとめ - インタープリタとコンパイラの最適化
15.1. 代数的操作
15.2. 継続からスタックへ
15.3. コンパイラと仮想マシン
15.4. インタープリタからスタックマシンへ
15.5. まとめ - Creating Usable Code
- ケーススタディ: 非同期処理のテスト
17.1. 型コンストラクタの抽象化
17.2. モナドの抽象化
17.3. まとめ - ケーススタディ: MapReduce
18.1. 並列化された map と fold
18.2. foldMap の実装
18.3. foldMap の並列化
18.4. まとめ - Case Study: Data Validation
19.1. Sketching the Library Structure
19.2. The Check Datatype
19.3. Basic Combinators
19.4. Transforming Data
19.5. Kleislis
19.6. Summary - Case Study: CRDTs
20.1. Eventual Consistency
20.2. The GCounter
20.3. Generalisation
20.4. Abstracting GCounter to a Type Class
20.5. Abstracting a Key Value Store
20.6. Summary