ひと目でわかる FunctorとMonad

Functor and Monad at a Glance

---

• 普通の関数

• Monad関数（クライスリの矢）

---

• (Endo)FunctorとMonadは表裏一体の数学構造

---

• (Endo)FunctorとMonadの id と ID の関係

---

---

• Pipelineされた関数はリンクできる（関数合成）

---

• (Endo)Functorでは、関数はコンテナの中身も殻もPipelineでリンクされ合成される

• Monadでは、Monad関数のためのリンク＝クライスリ合成される

---

• (Endo)Functorでは、関数はコンテナの中身も殻もPipelineでリンクされ合成される

---

• Monadでは、Monad関数のためのリンク＝クライスリ合成される