面向搜索引擎编程，面向 google 和 stackoverflow 编程，面向百度编程也太 low 了。 2019-12-30 13:22:44 +08:00

为什么说类型安全对于开发人员友好，这个特性对于编程语言很重要？其实这可以追溯到三次编程范式解决的根本问题上。Clean Architecture（架构整洁之道）一书中，对结构化，面向对象和函数式编程语言做了很透彻的分析。
首先我们得明确一点，这些范式从来没有扩展编程语言的能力，而是在不同方面对编程语言的能力进行了约束。

结构化编程
对程序的直接控制进行约束和规范， goto considered harmful.
面向对象编程
对程序的间接控制进行约束和规范， pointer considered harmful.
函数式编程
对程序的赋值进行约束和规范， mutability considered harmful.

按照这样的思路，泛型编程无非是对既有的范式做了进一步的约束。泛型编程旨在对程序的间接控制进一步进行约束和规范。它把类型安全放在第一位，而将类型转化限制在编译期间。
我们甚至可以遵循前面的定义方式，说：
泛型编程
对程序的间接控制进一步进行约束和规范， type casting considered harmful. 2019-04-08 17:17:03 +08:00

洋垃圾 2019-03-11 11:27:34 +08:00

有自己独立科研的能力。 2019-03-08 23:46:48 +08:00

中国浮躁的科技界 2019-03-08 18:03:25 +08:00