f# - 类型推断有什么好处？

Question

我开始学习 F#，我注意到语法与 C# 的主要区别之一是类型推断比 C# 中使用得更多。这通常被认为是 F# 的优点之一。为什么类型推断被视为好处？

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

Answer 1

此问题假设您在 F# 中使用面向对象编程(例如复杂的类层次结构)。虽然您当然可以做到这一点，但使用 OO 概念主要对于互操作性或将某些 F# 功能包装在 .NET 库中有用。

理解代码。当您以函数式风格编写代码时，类型推断变得更加有用。它使代码更短，但也可以帮助您理解正在发生的事情。例如，如果您写 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 的列表值(value)观。因此，您可以使用类型推断来轻松检查您的代码是否符合您的预期。

泛化。自动泛化(在注释中提到)意味着上述代码自动尽可能地可重用。在 C# 中，您可以这样写:

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

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

更多检查。最后，由于推理，F# 语言可以比必须显式编写所有类型更轻松地检查更多内容。这适用于该语言的许多方面，但最好使用度量单位来演示:

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

F# 编译器推断 speed有一个类型 float<meter/second> - 它了解测量单位如何工作并推断包括单位信息的类型。这个功能确实很有用，但是如果您必须手动编写所有单元，则很难使用(因为类型很长)。一般来说，您可以使用更精确的类型，因为您不必(总是)键入它们。