为了做出合理推断，我们在阅读和思考时不能局限于词的字面意义。
In order to make reasonable inferences we should read and think beyond the printed words.
有很多例子可以反应科学及其透明度的问题：当疯牛病刚开始爆发时，科学家们合理推断它不会传染给人类；
There are many examples where the issue of science and transparency come up: When mad cow disease first broke out, the first sensible guess from scientists was that it could not spread to humans;
从根本上讲，类型推断是约束解决技术，往往对使用哪些约束开始具有多个合理的选择。
Fundamentally, type inference is a constraint-solving technique, and there are often multiple reasonable choices for which constraints to start with.
应用推荐