Partly to show you that it's kind of weird, but also to tell you that one of the things you want to do is exercise what I'm going to call some type discipline.

一定程度上来说这有点儿怪，但是还是想要告诉你们的是,你们需要做一些,我称之为类型规范的练习。

麻省理工公开课 - 计算机科学及编程导论课程节选