免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
最近访问板块 发新帖
查看: 4465 | 回复: 1

Church 计数怎么做减法? [复制链接]

论坛徽章:
0
发表于 2011-08-01 11:43 |显示全部楼层
按照 SICP 2.1.3 的练习 2.6 的介绍,Church 计数的基本定义是:
  1. (define zero (lambda (f) (lambda (x) x)))
  2. (define (add-1 n) (lambda (f) (lambda (x) (f ((n f) x)))))
复制代码
按照这个定义,加法还是很好做的:
  1. (define (add m n) (lambda (f) (lambda (x) ((m f) ((n f) x)))))
复制代码
然后减法就纠结了……
总不能一个一个试吧?会慢死的……

论坛徽章:
0
发表于 2011-09-11 04:38 |显示全部楼层
本帖最后由 ypyf3000 于 2012-08-03 21:23 编辑

我也不会啊
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们:huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP