4.4 Dependencies Improve Search

#4

完成 "The Art" 中的 Heron 例子

需要设计 lattice 来逼近结果

一个叫近似值的数据类型，并且为 generic 函数实现相关的 handles

interval/ -- arithmetic 支持负数

可能需要 multi interval 而不是简单的 interval 了
- https://en.wikipedia.org/wiki/Interval_arithmetic
可能 propagator 本身的分支机制就能处理 multi interval

[maybe] propagator 不应该是 nullary closure，应该是函数本身，运行的时候提供参数给函数。

[later] barometer-belief.test -- 在测试中增加书中的叙述 -- 与对 belief-system 的测试相同

[later] barometer-belief-system.test.ts -- 理解我们的测试中与书中有差异的地方

书中第一个测试只有：

Belief(Interval(44.51, 47.24), ["shadows", "fall-time"])

而没有

Belief(Interval(41.16, 47.24), ["fall-time"])