Contents

1. 0日目
   • Cats 入門
   1. 多相性って何?
      • パラメータ多相 (parametric polymorphism)
      • 派生型による多態 (subtype polymorphism)
      • アドホック多相
   2. sum 関数
      • Monoid
   3. FoldLeft
      • Cats の型クラス
   4. メソッド注入 (enrich my library)
      • 標準データ型に対する演算子構文
2. 1 日目
   • 型クラス初級講座
   1. sbt
   2. Eq
   3. Order
   4. PartialOrder
   5. Show
   6. Read
   7. Enum
   8. Numeric
   9. 型クラス中級講座
      • 信号の型クラス
3. 2日目
   1. simulacrum を用いた独自型クラスの定義
      • Yes と No の型クラス
   2. Functor
      • ファンクターとしての Either
      • ファンクターとしての関数
      • 関数の持ち上げ
   3. Discipline を用いた法則のチェック
      • REPL からの法則のチェック
      • Discipline + MUnit を用いた法則のチェック
   4. import ガイド
      • implicit のまとめ
      • import cats._
      • 暗黙のスコープ
      • import cats.data._
      • import cats.implicits._
        • cats.instances.AllInstances
        • cats.syntax.AllSyntax
      • アラカルト形式
        • 型クラスインスタンス
        • Cats 型クラスの syntax
        • Cats データ型の syntax
        • 標準データ型の syntax
        • 全ての syntax
4. 3日目
   1. 型を司るもの、カインド
      • forms-a vs is-a
   2. Semigroupal
      • Cartesian 則
   3. Apply
      • Applicative Style
      • Apply としての List
      • *> と <* 演算子
      • Option syntax
      • Apply としての Option
      • Apply の便利な関数
      • Apply則
   4. Applicative
      • Applicative の便利な関数
      • Applicative則
5. 4日目
   1. Semigroup
      • Semigroup 型クラス
      • Semigroup則
      • Semigroups としての List
      • 積と和
   2. Monoid
      • Monoid 型クラス
      • Monoid則
      • 値クラス
      • Disjunction と Conjunction
      • Monoid としての Option
   3. 法則に関して
   4. モノイドを使ったデータ構造の畳み込み
6. 5日目
   • Apply.ap
   • Serializable な型クラスインスタンス
   1. FlatMap
      • Option から始める
      • FlatMap則
   2. Monad
      • 綱渡り
      • ロープの上のバナナ
      • for 内包表記
      • 帰ってきたピエール
      • パターンマッチングと失敗
      • Monad則
   3. List データ型
   4. FunctorFilter
   5. 騎士の旅
7. 6日目
   1. do vs for
      • actM を実装する
   2. Writer データ型
      • Writer
      • WriterT
      • Writer に for 構文を使う
      • プログラムにログを追加する
      • 非効率な List の構築
      • 性能の比較
   3. Reader データ型
      • DI: Dependency injection
8. 7日目
   1. State データ型
      • State と StateT データ型
      • 状態の取得と設定
      • 状態の抽出と変更
   2. Validated データ型
      • NonEmptyList を用いた失敗値の蓄積
   3. Ior データ型
9. 8日目
   1. 自由モノイド
      • 単射
      • 一意性
      • 自由対象
   2. 自由モナド (Free)
      • 自由モナドの重要性
      • CharToy
      • Fix
      • FixE
      • Free データ型
   3. Stackless Scala with Free Monads
      • トランポリン
      • 自由モナド
      • Free を用いた自由モノイド
   4. 末尾再帰モナド (FlatMap)
      • スタック問題とは
      • FlatMap (MonadRec)
10. 9日目
    1. 便利なモナディック関数特集
       • flatten メソッド
       • filterM メソッド
       • foldM 関数
    2. 安全な RPN 電卓を作ろう
    3. モナディック関数の合成
       • lift メソッド
    4. モナドを作る
    5. モナドはフラクタルだ
       • List は ++ に関してモナドを形成する
       • じゃあ、Option は何に関するモナド?
       • フラクタルとしての State
       • フラクタルを探しだす
11. 10日目
    1. モナド変換子
       • Dependency injection 再び
       • ReaderT としての Kleisli
    2. Future と Either の積み上げ
       • EitherT データ型
12. 11日目
    1. ジェネリシティ
       • 値によるジェネリシティ
       • 型によるジェネリシティ
       • 関数によるジェネリシティ
       • 構造によるジェネリシティ
       • 性質によるジェネリシティ
       • ステージによるジェネリシティ
       • 形によるジェネリシティ
    2. Bifunctor を用いたデータ型ジェネリック・プログラミング
       • Bifunctor
       • Bifunctor からの map の導出
       • Bifunctor からの fold の導出
       • Bifunctor からの unfold の導出
       • Tree
       • オリガミ・パターン
    3. Const データ型
       • Const データ型を用いた　monoidal applicative functors
    4. アプリカティブ・ファンクターの組み合わせ
       • ファンクターの積
       • Apply ファンクターの積
       • アプリカティブ・ファンクターの積
       • Applicative の合成
       • アプリカティブ関数の積
       • アプリカティブ関数の合成
13. 12日目
    1. Traverse
       • sequence 関数
    2. TraverseFilter
       • filterA
    3. 部分的ユニフィケーションを用いた型推論の強制
    4. 形とコンテンツ
    5. Applicative wordcount
       • アプリカティブなモジュラー反復
14. 13日目
    1. Id データ型
       • Functor としての Id
       • Apply としての Id
       • FlatMap としての Id
       • Id ってなんで嬉しいの?
    2. Eval データ型
       • Eval.later
       • Eval.now
       • Eval.always
       • スタックセーフな遅延演算
    3. 抽象的な Future
       • Future を使った UserRepos
       • Id を使った UserRepos
       • 抽象におけるコード
       • EitherT を用いた UserRepos
15. 14 日目
    1. SemigroupK
       • SemigroupK としての Option
       • SemigroupK 則
    2. MonoidK
       • MonoidK 則
    3. Alternative
       • Alternative 則
       • オオカミ、ヤギ、キャベツ
       • makeNMoves0
       • isSolution
       • makeMove
16. 15日目
    1. 圏論の初歩
       • 集合、射、射の合成
       • 点
    2. Arrow
       • Category
       • Compose
       • Strong
       • Split
    3. 同型射
       • 射の等価性
       • 同型射のテスト
17. 16日目
    • Awodey の『Category Theory』
    • Milewski　の 『Category Theory for Programmers』
    1. Sets
       • Sets
    2. Pos
    3. 有限圏
    4. Cat
    5. 圏としてのモノイド
       • Mon
    6. Grp
       • 忘却函手
18. 17 日目
    1. 始対象と終対象
       • 同型を除いて一意
       • 始対象の例
       • 終対象の例
    2. 積
       • 積の一意性
    3. 双対性
       • 逆圏
       • 双対性原理
    4. 余積
       • 代数的データ型
       • 余積としての Either データ型
       • Curry-Howard エンコーディング
       • Shapeless.Coproduct
       • EitherK データ型
19. 18日目
    1. エフェクトシステム
       • Cats Effect sbt セットアップ
    2. IO データ型
       • Hello world
       • Pizza app
    3. ApplicativeError
       • ApplicativeError としての Either
       • ApplicativeError としての scala.util.Try
       • ApplicativeError としての IO
    4. MonadCancel
       • MonadCancel としての IO
       • F.uncancelable
       • bracket
20. 19 日目
    1. FunctionK
       • Higher-Rank Polymorphism in Scala
       • MonadCancel での FunctionK
    2. Resource データ型
       • モナドとしての Resource
       • Resource のキャンセル対応
    3. モナドトランスフォーマーとしての Ref
       • モナドトランスフォーマーとしての Resource
21. Contents in Depth
22. Combined Pages