关于函数式编程

#haskell

函数式编程与面向对象地位类似。不得不说,函数式作为一种思想是有其价值的,然而其本质是什么? haskell 中的各种特性,惰性求值也好,类型系统也好,能够成为其函数式的理由么?java中添加了 λ 就脱离了面向对象?显然不是。 函数作为一等公民在很多场合下是适用的,然后又有了纯函数式的说法,不修改变量就能算作函数式编程了么?代价则是描述能力的下降,譬如计时过程。而一些其他的概念,又可以在其他地方看到影子。 其实还是有些收获的,haskell类型的无穷递归emm,有点类似null?然鹅并没有看到最后。 函数式的精髓应当在于其对解决问题的证明,然而这一方面关乎测试,另一方面要求代码的可读性高。而目前来看,过程式的命令似乎更符合人们的认知规律。

上一篇