幽默：关于类型的观点演变

1999年: 没有类型你无法写真正的软件
2009年: 类型是浪费，没有它们我们编写得更快
2019年: 类型阻止了所有的bugs!
2029年: 你不需要类型，因为机器学习ML能为你分辨类型
2039年: 程序员因为气候变化而死亡