-
在前半个方括号的后面和后半个方括号的前面都必须有个斯贝斯(space)。
-
不要认为管道是一个一个地运行连接的两条命令。实际上,Linux同时运行着两条命令。当第一条命令产生输出时,其输出就会立即发送给第二条。中间没有创建临时文件或是缓冲区。
-
这个规则有一个例外:两个变量的类型不携带任何信息且是零值,例如 struct{} 或 [0]int,在当前的实现里面,它们有相同的地址。
-
虽然代换模型看起来似乎非常简单,但令人吃惊的是,给出代换过程的严格数学定义却异常复杂.问题在于,用作过程中形式参数的名字,可能会与该过程可能应用的那些表达式中的(同样)名字相互混淆.在逻辑和程序设计的语义学文献里,关于代换的充满错误的定义有一个很长的历史.
-
虽然代换模型看起来似乎非常简单,但令人吃惊的是,给出代换过程的严格数学定义却异常复杂.问题在于,用作过程中形式参数的名字,可能会与该过程可能应用的那些表达式中的(同样)名字相互混淆.在逻辑和程序设计的语义学文献里,关于代换的充满错误的定义有一个很长的历史.
—— 《Structure and Interpretation of Computer Programs - 2nd Edition (MIT)》
-
const最有用的用法就是用它限定函数的形参,这样该函数将不会修改实参指针所指的数据,但其它函数却可能会修改它。
-
习题2:如何使用位逻辑运算来实现位向量?
-
... (and ...) 和 (or ...) 都不能被定义成像 (cond ...) 那样的功能, 尽管(and ...) 和 (or ...) 可以通过 (cond ...)表达式的方式表示出来:
-
Scheme(或 Lisp) 中的 pair, 其两个元素是含义不同但相关的对象.
-
将系统分解成对象集合。因为要考虑许多因素:封装、粒度、依赖关系、灵活性、性能、演化、复用等等,它们都影响着系统的分解,并且这些因素通常还是互相冲突的。
-
类型(type) 是用来标识特定接口的一个名字。
-
to make the software easier to understand and modify.
-
to make the software easier to understand and modify.
-
to make the software easier to understand and modify.
-
习题2:如何使用位逻辑运算来实现位向量?









