文件名称：lambda-scala:Scala 中的类型级 lambda 演算
文件大小：9KB
文件格式：ZIP
更新时间：2024-06-28 00:36:45
scala typelevel lambda-calculus Scala
Scala 中的类型级 lambda 演算 此存储库演示了 Scala 类型中 lambda 演算的实现。 无类型 lambda 演算 import lambda . _ case class Equals [ A > : B < : B , B ]() // this checks type equality type S = x - > : y - > : z - > : ( x @@ z @@ (y @@ z) ) type K = x - > : y - > : x type result = ( S @@ K @@ K @@ a ) # - > * Equals [result, a] 在可以找到更多示例。 句法 代码 变量 a , b , ..., z 抽象 v ->: M 应用 M @@ N 条款 M , N 1 步 Beta 减少 M # -> 多步减少β
【文件预览】：
lambda-scala-master
----src()
--------test()
--------main()
----build.sbt(400B)
----README.md(2KB)
----.gitignore(132B)