标签：exps continuation list exp var passing cps 表达式
cps-of-exps接受两个参数：一个【表达式的list】和一个【procedure builder】。
它在第一个参数中找到第一个不是【最简化单元】的表达式，如果找到了，就创建一个continuation K，这个K命名这个表达式的结果为一个新的变量，比如v1，然后递归调用被修改过（就是把那个【不是最简化单元】的表达式文字替换为v1）的【表达式的list】。
如果没有找到，则我们就把第二个参数【procedure builder】apply到【表达式的list】中去。
但遗憾的是，哪怕已经没有【非最简单元】了，【表达式的list】中已经都是最简单的了，他们也还是cps-in的语法，我们必须把它们转换成cps-out的语法。呃……话说回来，我们一开始的目的其实是把任何一个程序变成cps模式的。所以处理好一些不简单的表达式之后，简单的表达式也需要case每种情况稍稍处理一下。
所以我们先会把表达式都转换成out形式，然后再送给第二个参数【procedure builder】去apply去。
好，首先是一个inp-exp-simple，这个函数会拿到一个cps-in的表达式然后进行检查，是否可以被转化成cps-out。
如果是const表达式， 值是num，得到的是#t。
如果是var表达式，值是var，得到的是#t。
如果是diff-cont表达式，那么分别检查它的其中的两个值是不是。去and。
如果是zero?-exp表达式，则检查exp1的情况，如果是则是。
如果是proc-exp表达式，那么为#t
如果是sum-exp表达式，因为它是多参的，那么需要检查每一个exps。
不然就#f，表示不能解析噢。
cps-of-exps将sum表达式和procedure calls表达式都变成尾递归。sum表达式和precedure call中，都会有很多【非简化单元】，这个函数就是把那些非简化单元被简化的过程都做成尾递归的形式。
cps这个模式到底是怎么实现的，我觉得核心就是这个cps-of-exps函数了，因为可以明显的看到它复制了一份exp，并对它进行了更改。
(define cps-of-exps
(lambda (exps builder)
(let cps-of-rest ((exps exps))
(let ((pos (list-index
(lambda (exp)
(not (inp-exp-simple? exp)))
exps)))
(if (not pos)
(builder (map cps-of-simple-exp exps))
(let ((var (fresh-identifier 'var)))
(cps-of-exp
(list-ref exps pos)
(cps-proc-exp (list var)
(cps-of-rest
(list-set exps pos (var-exp var)))))))))))
最后面这段cps-of-exp中，做的事情非常重要：
取到那个非简单的exps表达式，然后对它进行cps-of-exp变换，变换后的结果当作新的形参，比如v1，然后走最下面这段，即建立一个cps-proc-exp结构，其中取一个变量，把变量替换到本来的表达式之中。这个cps-proc-exp结构，已经是一个cps-out的结构，于是无需再做处理了。
以上内容来自《eopl》，这本书真的非常棒！
标签：exps,continuation,list,exp,var,passing,cps,表达式 来源： https://blog.csdn.net/killian0213/article/details/112795528
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。