【文件属性】：
文件名称：lambda-scala:Lambda微积分在Scala中的实现
文件大小：10KB
文件格式：ZIP
更新时间：2021-05-12 00:55:21
Scala
Lambda-scala
Lambda微积分在Scala中的实现
表达方式
Expr :: =名称（名称：字符串）| Lmbd（参数：Expr，主体：Expr）| Appl（fn：Expr，arg：Expr）
例子： 名称（“ x”） //->“ x” Lmbd（Name（“ y”），Name（“ y”）） //->“λy.y” Lmbd（Name（“ f”），Lmbd（Name（“ x”），Name（“ x”）））） //->“λf.λx.x” Appl（Name（“ f”），Name（“ a”）） //->“（fa）”
句法糖
\
\运算符执行函数应用程序。 将命名变量用于函数以及\会导致代码更简单。
首先，让我们弄清楚一些定义：
val x = Name（“ x”） //->“ x” val y = Name（“ y”） val f =名称（“ f”） val a =名称（
【文件预览】：
lambda-scala-master
----.idea()
--------misc.xml(684B)
--------compiler.xml(711B)
--------lambda.iml(338B)
--------workspace.xml(25KB)
--------.name(6B)
--------encodings.xml(166B)
--------modules.xml(266B)
--------scopes()
--------copyright()
--------vcs.xml(166B)
----lambda.scala(5KB)
----README.md(1KB)
----.gitignore(187B)