構造我們自己的 Types 和 Typeclasses Algebraic Data Types 入門 Record Syntax Type parameters Derived instances Type synonyms Recursive data structures (遞迴地定義資料結構) Typeclasses 的第二堂課 yes...
Functors, Applicative Functors 與 Monoids 溫習 Functors Applicative functors 關鍵字”newtype” Using newtype to make type class instances On newtype laziness type vs newtype vs data ...
來看看幾種 Monad 動手做做看: Maybe Monad Monad type class 走鋼索 do 表示法 List Monad A knight’s quest Monad laws (單子律) Left identity Right identity Associativity 來看看幾種 Monad 當我們第一次談...