感觉有必要留出一个地方Mark一些很Mind Blow的资源，来观察一下我的技能树到底是怎么点歪的（误
绝赞更新中！（不
The Algebra of Algebraic Data Types
Type calculus好顶赞。解释了我多年Algebra Datatype为什么名字带Algebra的困惑（。
在类型上做代数运算什么的简直打开了新世界的大门！
Comonads are objects
我见过最通俗易懂的介绍Comonad的文章。通俗到了什么程度呢？在看前两个例子的时候我甚至没反应过来是在说Comonad…
如果说Monad使Haskell成为最好的命令式语言，那么Comonad就使Haskell成为了最好的面向对象语言（笑