通过更好的类型系统解决更多的软件质量问题，是在过去三十多年的产业里梦寐以求的东西，因为缺乏良好的数学基础，只能催生出大量的工程技术解决问题；当然类型系统不是一帖灵，但是它肯定可以把软件质量，或者说程序员们能应对的系统复杂度，推到一个全新的高度。

#type theory# #type system# #dependent type#