独習 Scalaz — 4日目

4日目

昨日は、カインドと型について考え、Tagged type を探検して、さまざまな型の 2項演算を抽象化する方法としての Semigroup と Monoid をみてみた。

Next Page ❧ Functor則

English
日本語

独習 Scalaz

0日目
1. 多相性って何?
2. sum 関数
3. FoldLeft
4. メソッド注入 (enrich my library)
1日目
1. sbt
2. Equal
3. Order
4. Show
5. Read
6. Enum
7. Bounded
8. Num
9. 型クラス中級講座
10. Yes と No の型クラス
2日目
1. Functor
2. Applicative
3日目
1. 型を司るもの、カインド
2. Tagged type
3. Monoid について
4日目
1. Functor則
2. Monoid としての Option
3. Foldable
5日目
1. モナドがいっぱい
2. 綱渡り
3. List モナド
4. MonadPlus と guard 関数
5. 騎士の旅
6. Monad則
6日目
1. Writer? 中の人なんていません!
2. Reader
7日目
1. Applicative Builder
2. 計算の状態の正体
3. \/
4. Validation
8日目
1. 便利なモナディック関数特集
2. 安全な RPN 電卓を作ろう
3. モナディック関数の合成
4. モナドを作る
9日目
1. Tree
2. Zipper
3. Id
4. 無法者の型クラス
10日目
1. モナド変換子
11日目
1. Lens
12日目
1. Origami programming
2. The Essence of the Iterator Pattern
13日目 (import ガイド)
14日目
15日目
1. Arrow
2. Unapply
3. 並列合成
16日目
1. Memo
2. 関数型プログラミング
3. エフェクトシステム
17日目
1. IO モナド
2. Enumeration-Based I/O with Iteratees
18日目
1. Func
2. Free Monad
3. Stackless Scala with Free Monads
19日目
1. 圏論
2. 点
3. 同型射
4. 決定問題と選択問題
20日目
1. 圏の例
2. 始対象と終対象
3. 積
4. 双対性
21日目
1. 余積
2. Hom 集合
3. Natural Transformation
読んでくれてありがとう
Scalaz cheatsheet
Contents in Depth
Combined Pages

4日目

Contents