Types 类型推断是否可以改进代码的编写，而不仅仅是检查代码？

类型推断可以帮助解决将来的运行时错误，对吗？它能帮助编写代码吗？对于使用推理，您能否找到两个函数的“最不常见”或“最常见”类型，以改进它们之间的接口？

---

除了程序拓扑图之外，还有程序类型图吗？

对于投票通过的人：哪个站点更适合这样的问题？“类型推断可以帮助解决未来的运行时错误，对吗？”您是将类型推断作为一种语言特性来讨论，还是在动态类型语言的静态分析中讨论类型推断？“你能找到两个函数中“最不常见”或“最常见”的类型吗”取决于语言及其类型系统。只是想了解类型推理的含义和应用可能更好的问题是：“你使用类型推理的最令人惊奇的方式是什么”这个问题的目标是谁？编译器编写者？语言设计师？针对动态类型语言的静态分析工具的作者？使用具有类型推理的语言的程序员？对于投票结束的人：哪个网站更适合这样一个问题？“类型推理可以帮助解决未来的运行时错误，对吗？”您是说类型推理是一种语言功能，还是说动态类型语言的静态分析中的类型推理？“你能找到两个函数中“最不常见”或“最常见”的类型吗”取决于语言及其类型系统。只是想了解类型推理的含义和应用可能更好的问题是：“你使用类型推理的最令人惊奇的方式是什么”这个问题的目标是谁？编译器编写者？语言设计师？针对动态类型语言的静态分析工具的作者？使用类型推断语言的程序员？