会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
躺柒
博客园
首页
新随笔
联系
订阅
管理
2023年1月19日
读编程与类型系统笔记11_高级类型及其他
摘要: 1. 范畴论 1.1. 范畴论是数学的一个分支,研究的是由对象及这些对象之间的箭头组成的结构 1.2. 函子和单子的概念来自范畴论 1.3. Haskell是一种编程语言,从范畴论中汲取了许多灵感,所以它的语法和标准库很容易表达函子、单子和其他结构的概念。Haskell完全支持高阶类型 2. 函子(
阅读全文
posted @ 2023-01-19 09:15 躺柒
阅读(49)
评论(0)
推荐(0)
编辑
公告