4.2.2 采用惰性求值的解释器