丘奇编码计数(Chruch Encoding)的易懂理解
一. Chruch Encoding为了解决什么问题??lambda y.x*2lambda 中的自然数 2 无法表示如何解决??为此,就有了Church Encoding二. Church Encodeing 简介是 Church 发明的一种用 λ\lambdaλ expression 表示自然数的方法通过函数的嵌套层数来表示三. 本质f(x) 嵌套0次: x, ...
原创
2020-02-13 12:06:07 ·
1994 阅读 ·
1 评论