Joh*_*ler 6 haskell vocabulary category-theory lenses haskell-lens
我正在尝试阅读Edward Kmett的Lens包中的文档 .我不熟悉很多使用的术语(profunctor,isomorphism,monomorphic,contravariant,bifunctor等...)
在这个库中使用这些词汇时,学习一些词汇的好资源是什么.
Rei*_*chs 7
这些是类别理论的术语.至于资源,埃德本人有一些建议.就个人而言,我是他对Lawvere和Awodey的分类理论提出的概念数学的建议.
归档时间：
10 年，4 月 前
查看次数：
242 次
最近记录：