5.1过程式语言存在的问题 (1)易变性难于数学模型 ·代数中的变量是未知的确定值,而程序 设计语言的变量是对存储的抽象 根本解决:能不能不要程序意义的“变 量”只保留数学意义的“变量”? 能不能消除函数的副作用?5.1 过程式语言存在的问题 （1）易变性难于数学模型 • 代数中的变量是未知的确定值，而程序 设计语言的变量是对存储的抽象 • 根本解决： 能不能不要程序意义的“变 量”只保留数学意义的“变量”？ • 能不能消除函数的副作用？