语言支持类型推断有两个主要的优势。一是如果使用得当，那么它可以使代码更易阅读。例如，可以将C++代码
变为
二是如果类型更加复杂，那么类型推断的价值变得显而易见。在许多情况下，这将减少代码中的冗余信息。
类型推断还具有动态语言的灵活特性，例如Haskell语言的如下代码，不管变量x是什么类型，都加1并返回结果。
尽管如此，显式地指出类型仍可以让编译器更轻松地了解代码实际应执行的操作，而不会犯任何错误。
