我想将十进制编码改为chruch编码吗？ <pre><code>(define (encode n) (lambda(fn)(lambda(x) (funPower (fn n)x)))) </code><

众所周知的自然数的Church编码可以推广为使用任意仿函数<code>F</code>。结果是类型，称为<code>C</code>，由<

如何用 lambda 项表达以下函数？ f(n) = T 如果 n != 0。 F 如果 n = 0。 n 代表教会数字。 我知

我正在尝试定义一个过程，该过程采用整数并以教堂数字形式返回其表示形式。任何人都可以帮我弄清

我正在使用 OCaml 编译器练习，我正在做一个小作业，我们必须实现定义为的教堂数字： <code>zz = pai

我正在研究 SICP，它为 <em>Church Numerals</em> 给出了 <code>zero</code> 的以下定义： <pre><code>(define zero (lambda

继上一个我问到的关于编写咖喱函数的问题之后，<a href="https://stackoverflow.com/questions/68011489/how-to-create-a-m

好吧，假设我在教堂编码中有一组函数定义（带有语法树）： <pre><code>true : λx -&gt; λy -&gt; x false : λx