文件名称：scala-reggen:Scala中的通用编程实验
文件大小：12KB
文件格式：ZIP
更新时间：2024-06-07 08:32:54
Scala
Scala·雷根 Scala中的通用编程实验 基于类别理论的通用编程方法，其中每个数据类型由函子多项式描述，并定义用于折叠每个常规函子类*的函数。 为了向Miles Sabin令人敬畏的致敬，该库最终应称为“无用” *（毕竟，折叠是由初始代数和任何其他代数之间存在的唯一同构性引起的，这是什么问题？） 样例代码 来自 object SampleGenericCode extends App { val ti:TreeInt=NodeI(LeafI(1),LeafI(2)) val tp:Tree[Int]=Node(Leaf(1),Leaf(2)) val l=List(1,2,3,4) def sum[Z]:Regular[Z]#PF[Int]=>Int = { case U() => 0 case k:K[Int,Z] => k.unK c
【文件预览】：
scala-reggen-master
----Roadmap.md(206B)
----src()
--------main()
----build.sbt(5KB)
----.gitignore(151B)
----README.md(4KB)