Question

我开始学习F＃，我注意到C＃语法的一个主要区别是类型推断比C＃使用得多。这通常表现为F＃的好处之一。为什么类型推断表现为有益？

想象一下，你有一个类层次结构和使用不同类的代码。强类型允许您快速检测在任何方法中使用的类。使用类型推断它不会那么明显，你必须使用提示来理解，使用哪个类。是否有任何技术可以使类型推断使F＃代码更具可读性？

Answer 1

这个问题假设你在F＃中使用面向对象的编程（例如复杂的类层次结构）。虽然您当然可以这样做，但使用OO概念主要用于互操作性或在.NET库中包装一些F＃功能。

了解代码。在函数样式中编写代码时，类型推断会变得更有用。它使代码更短，但也可以帮助您了解正在发生的事情。例如，如果您在列表上编写map函数（LINQ中的Select方法）：

let map f list = 
  seq { for el in list -> f el }

类型推断告诉您函数类型是：

val map : f:('a -> 'b) -> list:seq<'a> -> seq<'b>

这符合我们对我们想写的内容的期望 - 参数f是将'a类型的值转换为'b类型和map函数的值的函数获取'a值列表并生成'b值列表。因此，您可以使用类型推断来轻松检查您的代码是否符合预期。

泛化。自动泛化（在评论中提到）表示上述代码尽可能自动重用。在C＃中，您可以写：

 IEnumerable<int> Select(IEnumerable<int> list, Func<int, int> f) {
   foreach(int el in list) 
     yield return f(el);
 }

此方法不是通用的 - Select仅适用于int值的集合。但是没有理由将其限制为int - 相同的代码适用于任何类型。类型推断机制可以帮助您发现这种概括。

更多检查。最后，由于推断，如果您必须明确地编写所有类型，F＃语言可以更轻松地检查更多内容。这适用于该语言的许多方面，但最好使用度量单位进行演示：

let l = 1000.0<meter>
let s = 60.0<second>
let speed = l/s

F＃编译器推断speed的类型为float<meter/second> - 它了解度量单位的工作方式，并推断出包括单位信息在内的类型。这个功能非常有用，但是如果必须手动编写所有单元（因为类型变长），这将很难使用。通常，您可以使用更精确的类型，因为您不必（始终）键入它们。