【 在 hgoldfish 的大作中提到: 】
: 疑问多了。
: 首先 es6 并不是去掉类型系统，只是类型动态了，在运行时才能确定。
: 其次，动态语言做较大的程序时，设计会更简单。所以应该反过来说，小处方便，大处更方便。
: ...................


各有各的道理吧，出发的角度不同，得到的结论可能大相径庭

现在世界各国的ZF都是王八蛋，但我们都知道，无政府主义这些王八蛋的ZF可能更糟糕
没有银弹，没有银弹，没有银弹

类型系统不仅仅是给编译器方便，可以让程序跑的更快
它是一种契约，一个游戏规则

功能性和可管理性，有着很大的区别，因为这里面除了技术本身，还有人的因素
因为大数定理告诉我们，只要一个功能可能被滥用，那么现实中就一定会被滥用
Java成功的一个重要因素就是，通过极大的强化了契约性，虽然啰嗦无比，
但最大限度地降低了人的因素的影响，让青鸟出来的，和北大出来的，差别最小化

这种契约越多越严格，于小处，对于程序员限制就越多，可能越不舒服
但对于越大的项目来讲，这种契约就越重要
python开始给类型加annotation，typescript受到不少项目的欢迎
出发点就是这个
--
FROM 167.220.232.*