°问题是程序状态的易变性( Mutability) 和顺序性( Sequencing Backus在图灵奖的一篇演说《程序设计 能从冯·诺依曼风格下解放出来吗?》中 极力鼓吹发展与数学连系更密切的函数 式程序设计语言• 问题是程序状态的易变性(Mutability) 和顺序性(Sequencing) • Backus在图灵奖的一篇演说《程序设计 能从冯·诺依曼风格下解放出来吗？》中 极力鼓吹发展与数学连系更密切的函数 式程序设计语言