在放弃了对「完全类型推断」的追求之后，一个至关重要的问题便浮现出来：一个「部分」类型推断算法，其推断能力需要达到何种程度，才算是「足够」？一个极具实践智慧的回答：一个好的部分类型推断算法，其核心使命在于消除那些既普遍又愚蠢的类型标注。

此处的「愚蠢」与「合理」相对。「合理的」标注，如顶级函数定义中对其参数的类型声明，通常能作为有价值的、且经由编译器检查的文档，帮助人们理解代码。「愚蠢的」标注则恰恰相反，它们徒增代码的冗余，却几乎不提供任何有用的信息。可以想见，在一个完全显式类型的语言中，任何人都不会愿意去书写或阅读 cons[Int](3, nil[Int]) 中那两个多余的 Int 标注。

Pierce 对十几万行 ML 代码的调研，揭示了三种最主要的「愚蠢标注」来源：

• 多态实例化：在所测量的代码中，类型应用（即对多态函数的实例化）的现象无处不在，平均来看，每三行代码中就至少出现一次。这些在多态函数调用点插入的类型参数，几乎没有任何文档价值，纯属语法上的累赘。
• 匿名函数定义：在类似 map(list, fun(x) x+1) 这样的上下文中，为匿名函数的参数 x 补上类型标注，只会掩盖其核心逻辑，实为一种不必要的干扰。
• 局部变量绑定 (Let): 为这些生命周期短暂的中间变量一一标注类型，显然是繁琐且意义不大的。

基于上述的定量观察，我们可以勾画出一个「足够」的部分类型推断算法的轮廓：

1. 它必须能够推断出多态函数应用中的类型参数。与此同时，要求程序员为顶级函数或相对稀少的局部函数提供显式标注，则是完全可以接受的，因为这些标注本身就是有益的文档。
2. 为了使高阶编程更加便捷，算法应当能够推断匿名函数参数的类型，尽管这并非绝对必要。
3. 局部变量绑定通常不应要求显式的类型标注。