【SICP练习】145 练习4.1

最新推荐文章于 2024-03-11 10:37:51 发布

转载最新推荐文章于 2024-03-11 10:37:51 发布 · 89 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：https://my.oschina.net/nomasp/blog/503375

本文探讨了元圆周评估器的求值顺序，并提供了两种版本的list-of-values函数，分别实现了从左至右和从右至左的求值顺序，独立于底层Lisp的评价顺序。

练习4-1

原文

Exercise 4.1. Notice that we cannot tell whether the metacircular evaluator evaluates operands from left to right or from right to left. Its evaluation order is inherited from the underlying Lisp: If the arguments to cons in list-of-values are evaluated from left to right, then list-of-values will evaluate operands from left to right; and if the arguments to cons are evaluated from right to left, then list-ofvalues will evaluate operands from right to left.Write a version of list-of-values that evaluates operands from left to right regardless of the order of evaluation in the underlying Lisp. Also write a version of list-of-values that evaluates operands from right to left.

分析

如题中所说的，list-of-values的求值顺序由cons的参数而定。同时也要使用no-operands?来判断exps，如果为真则返回空。而左右之分，在let中的求值顺序可以决定。如果是从左到右就应该是先求值first而后求值rest，最后用cons来构造到一起即可。

代码

 (define (list-of-values-l-to-r exps env) (if (no-operands? exps) '() (let ((first (eval (first-operand exps) env))) (let ((rest (list-of-values-l-to-r (rest-operands exps) env))) (cons first rest))))) 

 (define (list-of-values-r-to-l exps env) (if (no-operands? exps) '() (let ((rest (list-of-values-r-to-l (rest-operands exps) env))) (let ((first (eval (first-operand exps) env))) (cons first rest)))))

感谢您的访问，希望对您有所帮助。欢迎大家关注或收藏、评论或点赞。

为使本文得到斧正和提问，转载请注明出处：
http://blog.youkuaiyun.com/nomasp

转载于:https://my.oschina.net/nomasp/blog/503375