And just to look ahead a little bit, you could easily imagine that I might want to not just put a statement in there, what the specs are, I might want to put some constraints. Some specific things to check for, to make sure that you're calling the code right.

这不仅是抽象的概念还有规范的概念，我们再往前看看,你可以简单的想象得到，我不仅仅是想在这里加一个声明,这些规范说明中我还想加一些约束，我们要注意一些特殊的事情。

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

OK. So if I look at this code, first of all I'm calling search, it just has one call, so looks like search is constant, except I don't know what happens inside of b search. So I've got to look at b search.

首先调用一下搜索，就一步调用,看起来搜索是固定的，除非我不知道二分搜索的原理，那我们来看看二分搜索吧,所以让我们看看，第一行打印出来的内容。

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