文件名称：PHP中的Lambda演算解释器。-PHP开发
文件大小：39KB
文件格式：ZIP
更新时间：2024-06-16 02:45:23
PHP Miscellaneous
lambda-php PHP中的Lambda演算解释器。 Lambda演算Lambda演算是一种非常小的编程语言，由Alonzo Church于1936年发明。 它的功能等效于PHP中的Turing Machine lambda-php Lambda演算解释器。 Lambda演算Lambda演算是一种非常小的编程语言，由Alonzo Church于1936年发明。 它是图灵机的等效功能。 Lambda演算只有三个概念：函数定义，词法范围变量，函数应用程序。 一个示例术语是恒等函数：λx.x第一部分λx定义一个采用x的函数，即。 表示后面的部分是功能
【文件预览】：
lambda-php-master
----src()
--------parser.php(2KB)
--------eval.php(2KB)
--------dumper.php(614B)
--------util.php(140B)
--------binary.php(1KB)
--------krivine.php(4KB)
----repl.php(1KB)
----doc()
--------reduce-forever.png(28KB)
----examples()
--------eval.php(5KB)
--------krivine.php(1KB)
----LICENSE(1KB)
----composer.lock(2KB)
----README.md(4KB)
----.gitignore(7B)
----composer.json(496B)