A
A
Serif
Sans
White
Sepia
Night
首页
文章
4 votes
answers
views
在Scala中为高级类型键入约束
我试图在scala中为Functors编写一个通用法则,我可以在scalacheck测试中为许多仿函数重用这种格式 . 法律应该由构造函数F [_]和元素类型参数化,比如A. 理想情况下,我会写这样的东西: def functorLaw[A, F[_] :Arbitrary] (fn :Functor[F]) :Prop = forAll { (fa :F[A]) => true } (我...
scala
generics
polymorphism
scalacheck
higher-kinded-types
热门问题
22299
为什么处理排序数组比处理未排序数组更快?
18633
如何撤消Git中最近提交的提交?
14365
如何在本地和远程删除Git分支?
10549
'git pull'和'git fetch'之间有什么区别?
9402
什么是正确的JSON内容类型?
8739
“yield”关键字有什么作用?
7999
C中的“ - >”运算符是什么?
7746
如何在提交之前撤消'git add'?
7735
如何重定向到其他网页?
7654
JavaScript闭包如何工作?