标签：
let*是Scheme语言中一种常用的赋值方式，今天想到了一种使用lambda演算解释let*的方式。
首先我们知道let*的语法定义如下:
(let* ( [ var val ] ...) body ... )
其语义是在环境中求值val，与var绑定后，加入环境，构成新环境，然后在新环境中求值val2...，最后在得到的环境中，求值body
用scheme来解释是这样的：
(define (eval-let* argslist body env) (let ((new-env (extend-env* argslist env))) (eval body new-env))) (define (extend-env* argslist env) (cond ((null? argslist) env) (else (let ((var (first (first argslist))) (val (second (first arglist)))) (extend-env* (cdr arglist) (extend-env var (eval-expr val env) env))))))
最后我想到其实用lambda演算解释起来更加的简单：
((lambda (var1)
((lambda (var2)
(...
(lambda ()
body1
...)))
val2))
val1)
现在想的是用lambda去解释let反而感觉是一件比较麻烦的事了。
标签：
原文地址：http://www.cnblogs.com/zhangfann/p/4355213.html
