church-encoding

church-encoding

文章 0 浏览 1

教堂数字算术

我正在通过 SICP 进行工作,并且 问题 2.6 让我陷入了进退两难的境地。在处理丘奇数字时,将 0 和 1 编码为满足某些公理的任意函数的概念似乎是有意义…

寄人书 2024-09-27 16:52:04 6 0

如何使教堂数字在 lisp 中更易于阅读?

我可以使用方案相当容易地定义教堂数字: &gt (define f (lambda (x) x)) &gt (f f) 0 #&ltprocedure:f&gt &gt (f (f f)) 1 #&ltprocedure:f&gt 但是…

情定在深秋 2024-08-29 12:31:14 2 0
更多

推荐作者

1CH1MKgiKxn9p

文章 0 评论 0

ゞ记忆︶ㄣ

文章 0 评论 0

JackDx

文章 0 评论 0

信远

文章 0 评论 0

yaoduoduo1995

文章 0 评论 0

霞映澄塘

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文