You can compel the compiler to treat some value as a different type of value, at least if it makes intuitive sense that that should be possible.

你可以控制编译器处理,不同类型的数据，至少我们凭直觉,它应该是可能的。

哈佛公开课 - 计算机科学课程节选

There are so many other constructs like loops and conditions and such, so what I thought we do in conclusion today is look at this program.

这里有很多其他结构类型如循环控制,条件分支等等，所以我觉得应该,以这个程序作为结束。

哈佛公开课 - 计算机科学课程节选