主要观点：类型推断不好，会使代码更难读，过多使用类型推断的语言更难编写，是一种虚假的节省，从长远看会使其他方面更糟。
关键信息：

• 在不同代码阅读环境中，类型推断会使代码清晰度降低。
• 在 OCaml 中，类型推断强大但易出错，需不断添加类型注解来定位错误。
• 学术论文中过多关注类型推断算法，浪费资源，应更多解释类型系统应用和代码示例。
• 应从类型生成代码，而不是从代码推断类型，类型是规范，代码更复杂易错。
  重要细节：
• 在有 LSP 的 IDE 中可悬停变量查看类型，但在其他代码阅读环境中代码清晰度受影响。
• Rust 和 Haskell 需至少标注函数参数和返回类型，OCaml 类型推断更强大但易传播错误。
• 学术论文常花大量篇幅描述类型推断算法，而忽视类型系统应用和代码示例。
• 从代码推断类型像无计划建造复杂机器再用 X 射线衍射仪提取计划，不合理。