最近跟着(How to Write a (Lisp) Interpreter (in Python))使用python实现了一个简易的scheme解释器.不得不说使用python这类动态语言实现不要太方便. 解释器的核心实际就是2个部分: eval 在环境里求值表达式 apply 将一个过程应用于一组参数 eval.apply 这两个规则描述了求值过程的核心部分,这是任何解释器的基本循环.在这一循环中表达式在环境中的求值被规约到过程对实际参数的应用,而这种应用又被规约到新的表达式在新的环境中的求…
在Java语言学习中,通常不太关注求值规则. (2+4*6)*(3+5+7)这样的组合式的求值规则.通常归结为优先级问题: if.for等的求值规则通常归结为语义. 函数式编程语言的Scheme,将这些归结为求值规则.依照丘奇的λ演算的函数应用:A.B是λ表达式,则 (A B) 也是λ表达式.表示将实參B带入函数A中. 问题是:实參B带入函数A中时是否须要对实參B求值呢? applicative-order Vs.normal-order ''evaluate the arguments and…