5.2 Kerneli语言 ·两个问题 为什么不在前三个类别的基础上引入作为状态的 函数state=loc→val,而要引入第4个类别state 若那样，则lookupi和update)成了高阶的函数符号 为什么不用一个函数直接从变量映射到值，而要 分离出环境和状态 直观上讲，环境和状态在概念上有区别，它们分 别对应到实语言实现的不同机制 从技术角度说，Kernel没有提供声明常量的值的 方式，只能将程序中常量的取值交给环境来确定5.2 Kernel语言 • 两个问题 – 为什么不在前三个类别的基础上引入作为状态的 函数state = loc → val，而要引入第4个类别state 若那样，则lookup和update成了高阶的函数符号 – 为什么不用一个函数直接从变量映射到值，而要 分离出环境和状态 直观上讲，环境和状态在概念上有区别，它们分 别对应到实际语言实现的不同机制 从技术角度说，Kernel没有提供声明常量的值的 方式，只能将程序中常量的取值交给环境来确定