函数式编程。λ演算。LISP。

这一段接触代码多了,对各种的编程方法也有一些深入的理解。

尤其是学习了LISP,稍稍有些心得。


像LISP,使用最简单的语法,进行函数式的编程。按我的猜测,LISP来源于λ演算(从λ演算的3个原则派生为7个原则)

它最大的特点就是出参只有一个,每个函数恪守本分,不返回更多变量。它的目标就是计算。


那么它在工程应用上就有一个很大的缺点:不能定义各种错误类型,也难以实现完善的回滚机制。

它面向的是计算,而不是错误,所以在科学应用上会有比较好的表现。写一个函数式编程的脚本可比写一个C脚本简单得多。


说说它的抽象代码吧:

  • 一个LISP函数:(func a b),其中a和b就是func的参数,而抽象意义上,a可以是(list a1 a2 a3),也可以是简单的(a1 a2 a3)
  • 对比C的函数:func(a,b),其实没有任何区别,只不过C其中有指针,有宏,有枚举等一系列语言辅助。C的代码更严谨,LISP的代码更geek。


其实,其他大多数语言大多支持多个返回值,而去除了C中满天飞的指针。指针可不是什么好玩意。

没有面向对象的编译器级别的实现,没有好的模版库,我想那就不是一门好语言。尽管我已经可以说是精通于C。


当然,我觉得面向函数、面向对象的思想都是可以统一的。对象拥有函数,函数也拥有对象,自动类型在C++11中逐渐完善,而C++也越来越靠近于一门函数型的语言。

模版其实就是实证面向函数的思想。

你可能感兴趣的:(函数式编程。λ演算。LISP。)