【翻译】Working with type in a context 发现《Get Programming with Haskell》这本书中对 Functor，Applicative，Monad 的概念的引入非常直观有趣，在这里进行一波翻译。我是 Haskell 初学者，且英语水平也不高，所以难免拉垮，望读者海涵并给予意见。文章最后粘贴了英文原文的图片。 在文章中，我将 type 翻译作类型，type class 翻译作类型类，但作者有时会把 Maybe，IO 2021-10-25 FP