以下内容转载自：阮一峰 科技爱好者周刊（第 364 期） – 类型系统不是解决方案

最近数十年，软件行业的一大共识是，类型系统非常有用，至关重要。

大家认定，通过类型系统，在编译阶段就能发现错误，所以人们开发出了越来越强大的类型系统。

我不这[……]

阅读全文