F# 泛型

在 F# 中，泛型可以让我们编写更加灵活和多用途的代码。泛型允许我们为函数或类型定义参数化的类型，从而可以在不同的情况下使用相同的代码。

泛型函数

在 F# 中，定义一个泛型函数非常简单。只需要在函数名后面添加泛型参数即可。

let inline identity x = x

let intIdentity = identity 1
let stringIdentity = identity "hello"

在这个例子中，我们定义了一个名为 identity 的函数，这个函数接受一个参数并返回一个与其类型相同的值。使用 inline 关键字可以让编译器优化泛型函数的性能。我们可以通过调用 identity 函数并传递不同的参数来创建不同的实例。

泛型类型

除了函数外，F# 中的类型也可以是泛型的。定义泛型类型的语法与定义泛型函数类似。我们可以使用单个类型参数或多个类型参数定义泛型类型。

type Stack<'T> =
    | Empty
    | Node of 'T * Stack<'T>

let emptyStack = Empty
let intStack = Node(1, Empty)
let stringStack = Node("hello", emptyStack)

在这个例子中，我们定义了一个名为 Stack 的泛型类型，它具有一个类型参数 'T。我们还定义了两个栈实例：一个是空栈 emptyStack，一个是包含整数的栈 intStack，还有一个是包含字符串的栈 stringStack。

限制类型参数

有时我们希望限制类型参数，以确保它符合特定的条件。F# 允许我们在类型定义中使用约束条件。

type IAddable<'T when 'T : (static member (+) : 'T * 'T -> 'T)> =
    abstract member Add : 'T -> 'T -> 'T

type IntAddable() =
    interface IAddable<int> with
        member this.Add x y = x + y

let x : int = (IntAddable() :> IAddable<int>).Add 1 2

在这个例子中，我们定义了一个名为 IAddable 的类型，它包含一个类型参数 T，这个类型参数必须符合 + 运算符的约束条件。我们还定义了一个名为 IntAddable 的类型，它实现了 IAddable<int> 接口。我们可以创建一个 IntAddable 实例，并通过类型转换将其转换为 IAddable<int> 接口。最后，我们可以调用 Add 方法，将两个整数相加。

总结

泛型是 F# 中非常强大和常用的功能。通过使用泛型，我们可以编写更加灵活且可复用的代码，并且可以使代码更易于维护和改进。无论是针对函数还是类型，我们都可以使用泛型来实现更多的目标。