论文部分内容阅读
20世纪30年代,阿隆佐·邱奇和艾伦·图灵、约翰·冯·诺伊曼设计了一个名为lambda演算的形式系统,这个系统实质上是为一个超级机器设计的编程语言。函数式编程因其生成错误少且产能高而受到越来越多的关注,本文详尽阐述了函数式编程(Functional Programming,FP)范式的编程思想,通过类比,比较了FP和指令式编程的异同。指出了FP相对于指令式编程的优点。