2023年1月19日
读编程与类型系统笔记11_高级类型及其他
摘要： 1. 范畴论 1.1. 范畴论是数学的一个分支，研究的是由对象及这些对象之间的箭头组成的结构 1.2. 函子和单子的概念来自范畴论 1.3. Haskell是一种编程语言，从范畴论中汲取了许多灵感，所以它的语法和标准库很容易表达函子、单子和其他结构的概念。Haskell完全支持高阶类型 2. 函子（ 阅读全文
posted @ 2023-01-19 09:15 躺柒 阅读(49) 评论(0) 推荐(0) 编辑