正則序和應用序

最近學習SICP一書中，1.1.5節提到了應用序和正則序。對一個組合式進行求解，解釋器對其進行執行求值運算的方式並不是唯一。其中分爲兩種兩種求值模型：正則序求值，以及應用序求值。 正則序：完全展開而後歸約。這種求值模型是先不求出運算對象的值，直到實際需要它們的值時再去做。首先用運算對象表達式去替換形式參數，直到得到一個只包含基本運算符的表達式，然後在去執行求值。 應用序：先求值參數而後應用。解釋器

>>阅读原文<<