猫番 — 11日目

猫番

0日目
1. 多相性って何?
2. sum 関数
3. FoldLeft
4. メソッド注入 (enrich my library)
1 日目
1. sbt
2. Eq
3. Order
4. PartialOrder
5. Show
6. Read
7. Enum
8. Numeric
9. 型クラス中級講座
2日目
1. simulacrum を用いた独自型クラスの定義
2. Functor
3. Discipline を用いた法則のチェック
4. import ガイド
3日目
1. 型を司るもの、カインド
2. Semigroupal
3. Apply
4. Applicative
4日目
1. Semigroup
2. Monoid
3. 法則に関して
4. モノイドを使ったデータ構造の畳み込み
5日目
1. FlatMap
2. Monad
3. List データ型
4. FunctorFilter
5. 騎士の旅
6日目
1. do vs for
2. Writer データ型
3. Reader データ型
7日目
1. State データ型
2. Validated データ型
3. Ior データ型
8日目
1. 自由モノイド
2. 自由モナド (Free)
3. Stackless Scala with Free Monads
4. 末尾再帰モナド (FlatMap)
9日目
1. 便利なモナディック関数特集
2. 安全な RPN 電卓を作ろう
3. モナディック関数の合成
4. モナドを作る
5. モナドはフラクタルだ
10日目
1. モナド変換子
2. Future と Either の積み上げ
11日目
1. ジェネリシティ
2. Bifunctor を用いたデータ型ジェネリック・プログラミング
3. Const データ型
4. アプリカティブ・ファンクターの組み合わせ
12日目
1. Traverse
2. TraverseFilter
3. 部分的ユニフィケーションを用いた型推論の強制
4. 形とコンテンツ
5. Applicative wordcount
13日目
1. Id データ型
2. Eval データ型
3. 抽象的な Future
14 日目
1. SemigroupK
2. MonoidK
3. Alternative
15日目
1. 圏論の初歩
2. Arrow
3. 同型射
16日目
1. Sets
2. Pos
3. 有限圏
4. Cat
5. 圏としてのモノイド
6. Grp
17 日目
1. 始対象と終対象
2. 積
3. 双対性
4. 余積
18日目
1. エフェクトシステム
2. IO データ型
3. ApplicativeError
4. MonadCancel
19 日目
1. FunctionK
2. Resource データ型
3. モナドトランスフォーマーとしての Ref
Contents in Depth
Combined Pages

11日目

10日目はモナド変換子という考えを、まず Kliesli を ReaderT として使って、次に、Future と Either の積み上げを例にみた。

❧

Next page
ジェネリシティ

English
日本語