And just in case the assumptions are not true, we're just going to stop dead in our tracks.

验证下假设条件，万一传递的参数。

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

When you think about an int or a float or a dictionary or a list, you knew that there were functions that operated on them.

当你想到整型，浮点型，或者链表时,你知道可以用函数去处理他们,但是当你传递一个参数，例如链表。

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

In some sense, strictly speaking they shouldn't be necessary because the fact that my specification starts with an assumption, says, hey you, who might call square root make sure that the things you call me with obey the assumption.

在某种意义上严格的来讲,它们不是必要的,因为我已经对假设做了声明,也就是说，如果你要调用我的，求平方根的函数,请确保你传递给我的,参数满足假设条件。

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