读书笔记 - WinChua/blog GitHub Wiki

龙书

• 第一章
• 第二章
  • 语法部分
  • 词法部分

Category Theory for programmer

• 第一章:组合的本质
• 第二章:Type and Function
• 第三章:Category Great and Small
• 第四章:Kleisli Category
• 第五章:Products and Coproducts
• 第六章:Simple Algebraic Data Type
• 第七章:Functors