SICP习题1.6的解答

本文通过分析SICP习题1.6,探讨了Scheme中`if`和`cond`的区别。当用`newif`替代`if`实现阶乘函数时,由于解释器的求值顺序导致了栈溢出错误。而直接使用`cond`或`if`则能避免这个问题,因为它们的条件判断在求值过程中的优先级更高,确保了递归的正确结束。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

SICP就是名著“ Structure and Interpretation of Computer Programs” ,著名的巫师书(Wizard Book)和紫书(Purple Book)。虽说英文原版可以从网上合法 下载,但 中文版翻译也还不错。 闲话少叙,下面我们研究一下书中 1.1.7节的练习题1.6。原题是和用牛顿法求平方根的例子相联系,显得有点复杂,下面我在保持题目原意的前提下将它改得简单一些。 假设我们写一个阶乘函数,如下所述:
(define (n! n)
   (if (= n 1) 1 (* n (n! (- n 1)))))
这是一个递归实现,用它在解释器下实验一下:
guile> (n! 4) 24
嗯,一切正常。 这时候二愣子兄弟说话了:在Scheme中本来已经有了一个cond,为何还有if的存在必要?if完全可以由cond实现出来,如下面定义的newif:
(define (newif predication then-clause else-clause)
             (cond (predication then-
评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值