类型系统的五十年设计博弈：为什么每个选择都意味着放弃
1960年代，Bertrand Russell为了解决集合论悖论而提出类型理论时，大概没想到这个概念会在六十年后成为程序员日常争论的焦点。今天，每一个新编程语言的诞生都伴随着同样的灵魂拷问：静态类型还是动态类型？结构化还是名义？类型擦除还是单态化？ ...
泛型
泛型的三种命运：为什么同一个概念在不同语言中走向了截然不同的实现道路
一个概念，三种命运 1975年，Robin Milner在ML语言中首次引入了参数化多态（parametric polymorphism）——这便是我们今天所称"泛型"的理论源头。半个世纪过去，这个概念已经渗透进几乎所有主流编程语言。然而，当你打开C++、Java、Go、Rust、C#的编译器源码，会发现同一个"泛型"概念在这些语言中竟然演化出了截然不同的实现策略。 ...