递归的报告打印程序的证明。

Proofs for recursive report-printing program.

youdao

打印机也可以打印程序列表和图形图片。

Printers can also generate listings of programs and graphic images.

youdao

让我们来研究关于清单11中报告打印程序的一些特性证明。

Let's look at a few proofs for properties of the report-printing program from Listing 11.

youdao

So let's go ahead and introduce a couple other capabilities so that we can finally start writing programs that maybe print out charts or interact with the user, play games, or the like.

让我们继续来介绍其他几个功能,以便我们最终能开始写程序,那样可以打印图表或与用户交互，打游戏之类的。

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

So the end result, because someone wrote this function years ago is that printf takes this thing, takes this thing, David plops David inside the middle of that formatted string and then renders the whole result.

基于这是某人多年以前写的程序,最终的结果是打印出这个，这个，在格式化字符串中间的,然后返回结果。

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

I don't have to go read what it printed out in the screen. This has returned a value that I can use. Because I could do a test to say, is this a return value? If it's not, I'll do something else with it. So the binding is still there, it simply doesn't print it out.

我不想读到屏幕中打印出来的这行字,程序返回过一个我能够使用的值,因为我可以做个小测试，来说明这是否是返回的值，如果不是，我可以做一些其它的事,而这个绑定依然在这儿，没有打印任何东西。

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