2018年12月26日
类型系统(type system)是一门编程语言最核心也是最基础的部分---编程语言最终的目标，本质上无非是回答两个问题:如何表示信息、如何处理信息
摘要： https://www.cnblogs.com/feng9exe/p/9712059.html 类型系统(type system)是一门编程语言最核心也是最基础的部分。无论该语言基于何种编程范式，都必须在开天辟地之初首先对类型系统作出明确的定义。这是因为，编程语言虽然五花八门，千奇百怪，但是归根结底 阅读全文
posted @ 2018-12-26 19:02 zzfx 阅读(331) 评论(0) 推荐(0)
函数式编程关心数据的映射
摘要： 数据：数据的封装；类型； 映射：数据的变换。 阅读全文
posted @ 2018-12-26 16:33 zzfx 阅读(173) 评论(0) 推荐(0)
命令式编程 vs 声明式编程
摘要： 实际上我们绝大多数程序员都是在用命令式风格在编程， 这是和我们的冯诺依曼计算机机构密切相关的。 （码农翻身注： 参见文章《冯诺依曼计算机的诞生》） 在一个冯诺依曼计算机中， 最核心的就是CPU和内存， 指令和数据都放在内存当中， CPU每次取出一条指令， 译码，执行，然后把结果写回内存 ， 本质就这 阅读全文
posted @ 2018-12-26 14:54 zzfx 阅读(453) 评论(0) 推荐(0)