Second thing we saw was, we saw that associated with every primitive value was a type.

我们学习到的第二件事情是，和每个基本值对应的,是一个类型。

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

But it's amazing, that every year you find somebody coming up with a way of going around the second law and somehow convincing people who are very smart that this will work.

但是很令人惊奇，每年你都能发现,有人宣称找到了,绕过第二定律的方法,还不知怎么地就说服了,一些非常聪明的人,让他们以为这个真的管用。

麻省理工公开课 - 热力学与动力学课程节选