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