D {format}：括弧里的字符串被传递给strftime(3)函数，返回值填充到提示符中。如果不传参数，会按照系统默认的当地时间格式来显示。

D {format} : the format is passed to strftime (3) and the result is inserted into the prompt string; an empty format results in a locale-specific time representation.

youdao

对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。

To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.

youdao

传值？还是传引用？

By value? Or by reference?

youdao

I'm much better having an exception get handled at the time of input than to let that prop -- that value rather propagate through a whole bunch of code until eventually it hits an error 17 calls later, and you have no clue where it came from.

不是我期望的格式,这时我最好有一个异常处理,而不是让其传下去,这个值传到代码的整个分支,最终会导致一个错误17调用的发生，并且你不知道这个错误是哪里来的。

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

X I'm passing an X, and yet I'm also assigning the return value to X. So just intuitively what's going to be the effect of this one line of code?

我传一个X，之后我把返回值赋值给,很明显，这一行代码,将会产生什么作用？

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