我自己觉得错的地方，如果有误，欢迎指正。
=====================================
P19 +3
因为signal函数的返回类型与sfp的返回类型一样，上式也就声明了signal函数，我们可以如下声明signal函数:
英文原文：This shows how to declare signal. Since signal returns a value of same type as sfp, we must be able to declare it this way:
>>
上式展示了如何声明signal函数。因为signal函数返回值的类型与sfp的类型一样，我们必须如下声明signal：
=====================================
P48 +9
另一种考虑不对称边界的方式是，把上界视作某序列中第一个被占用的元素，而把下界视作序列中第一个被释放的元素。
英文原文：Another way to think of asymmetric bounds is to realize that they represent the first occupied and first free elements of some sequence:
>>
另一种看待不对称的方式是：下界当做某个序列的第一个占用元素，而上界当做第一个空闲元素：
=====================================
=====================================