church_encoding_js:javascript最小子集中的教堂编码

时间:2024-05-25 03:35:17
【文件属性】:

文件名称:church_encoding_js:javascript最小子集中的教堂编码

文件大小:2KB

文件格式:ZIP

更新时间:2024-05-25 03:35:17

JavaScript

church_encoding_js Church编码在javascript的最小λ微积分子集中的实现。 借助ES6中引入的新语法( ),我们可能拥有任何语言中最简洁的lambda演算表达式之一。 λ演算: zero = λf.λx.x one = λf.λx.f x two = λf.λx.f(f x) inc = λn.λf.λx.f(n f x) javascript: var zero = f => x => x ; var one = f => x => f ( x ) ; var two = f => x => f ( f ( x ) ) ; var inc = n => f => x => f ( n ( f ) ( x ) ) ; //increment value by 1


【文件预览】:
church_encoding_js-master
----README.md(644B)
----church_flow_control.js(380B)
----church_numerical.js(2KB)

网友评论