函数式程序设计语言.ppt

1、概论 面向过程程序设计 面向对象程序设计 函数式程序设计 2、什么是函数式程序设计 In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. —— From wikipedia 函数式程序设计是一种程序设计模型，它将计算机运算看作是数学中函数的计算，并且避免了状态以及变量的概念。 3、变量的不变性 如果有多个进程在同时跑这一个程序， 那么程序应该先desposit 还是先 despositTwice？ 无论多少个进程在跑，因为我们本身没有赋值操作，所以都不会影响到我们的最终结果。 采用这样的方式没有办法保持状态，这也就是我们在之前概念中看到的无状态性。 程序设计能从冯·诺依曼式的设计风格中解放出来吗？ 函数式程序设计及其程序代数 John Backus于1977年接受ACM图灵奖时的讲演稿 4、冯·诺依曼和函数式程序的比较 求内积的冯·诺依曼程序 该程序值得注意的几个性质: 1) 程序中的语句以某种复杂的规则作用在不可见的“状态”上。 2) 程序不是层次性的，除了赋值语句的右部外。 3)