面向搜索引擎编程，面向 google 和 stackoverflow 编程，面向百度编程也太 low 了。 Dec 30, 2019

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

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

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

洋垃圾 Mar 11, 2019

有自己独立科研的能力。 Mar 8, 2019

中国浮躁的科技界 Mar 8, 2019