个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
24
4
我正在尝试阅读 Edward Kmett 中的文档的Lens包裹。我不熟悉很多使用的术语(仿函数、同构、单态、逆变、双仿函数等......)
学习这个库中使用的一些词汇是一个很好的资源。
最佳答案
这些是来自 category theory 的术语。至于资源，Ed本人有some suggestions 。就我个人而言，我赞同他的建议 Conceptual Mathematics作者:Lawvere 和 Awodey 的 Category Theory .
关于haskell - 解释 Edward Kmett 镜头包中使用的词汇的资源，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/32876700/
24
4
0
我正在尝试阅读 Edward Kmett 中的文档的Lens包裹。我不熟悉很多使用的术语(仿函数、同构、单态、逆变、双仿函数等......) 学习这个库中使用的一些词汇是一个很好的资源。 最佳答案 这
我正在尝试使用 ekmett 的线性库，但在 Linear.V 中的可变长度向量方面遇到了一些问题。如何使用 dim 函数获取向量的大小？如何在由嵌套 V 组成的大方阵上使用 trace ？在这两种情
在 Ed Kmett 的 recursion-scheme 包中，有三个声明: newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a.
在 Edward Kmett's article on CRCs其推导如下: CRC(ab) = -- definition of CRC
我是一名优秀的程序员,十分优秀！