1999年: 没有类型你无法写真正的软件

2009年: 类型是浪费，没有它们我们编写得更快

2019年: 类型阻止了所有的bugs!

2029年: 你不需要类型，因为机器学习ML能为你分辨类型

2039年: 程序员因为气候变化而死亡