正则序和应用序

最近学习SICP一书中，1.1.5节提到了应用序和正则序。对一个组合式进行求解，解释器对其进行执行求值运算的方式并不是唯一。其中分为两种两种求值模型：正则序求值，以及应用序求值。 正则序：完全展开而后归约。这种求值模型是先不求出运算对象的值，直到实际需要它们的值时再去做。首先用运算对象表达式去替换形式参数，直到得到一个只包含基本运算符的表达式，然后在去执行求值。 应用序：先求值参数而后应用。解释器

>>阅读原文<<