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