摘要：
大家应该都听说过等式‘算法+数据结构=程序’吧？这是Pascal设计者Niklaus Wirth的一本著作的书名，它刻画了过程式尤其是结构化编程的思想。后来Robert Kowalski进一步提出：算法=逻辑+控制。其中逻辑是算法的核心，控制主要用于改进算法的效率。在逻辑式编程中，程序员只需表达逻辑 阅读全文
posted @ 2018-12-27 19:35
zzfx
阅读(3809)
评论(0)
推荐(0)
摘要：
换言之，每种范式都引导人们带着某种的倾向去分析问题、解决问题 冒号续道：“范式译自英文的paradigm，也有译作典范、范型、范例的。所谓编程范式（programming paradigm），指的是计算机编程的基本风格或典范模式。借用哲学的术语，如果说每个编程者都在创造虚拟世界，那么编程范式就是他们 阅读全文
posted @ 2018-12-27 17:41
zzfx
阅读(628)
评论(0)
推荐(0)
摘要：
“再来看看静态类型语言的好处：由于在运行之前进行了类型检查，一方面代码的可靠性增强，符合‘发现错误要尽早’的原则；另一方面编译器有可能藉此优化机器代码以提高运行效率，同时相比前者节省了运行期的耗费在类型检查上的时间和空间。此外，变量类型的声明彰显了编程者的意图，有辅助文档的功效。”冒号有条有理地解释 阅读全文
posted @ 2018-12-27 17:36
zzfx
阅读(218)
评论(0)
推荐(0)
摘要：
这组运算符和代数中的运算加减乘除运算符一样，符合一定的定律：结合律、（交换律）等； 函数式编程的核心（底层支持）就是这些类型和运算符的定义。 函子就是定义这些类型和运算符的（）。 运算符通常为单目运算？？运算符的被操作数是（高阶）数据，操作数是配置函数，操作本身是高阶函数； 本质是：结合函数式特点， 阅读全文
posted @ 2018-12-27 11:48
zzfx
阅读(263)
评论(0)
推荐(0)
浙公网安备 33010602011771号