generics - F# 方法签名中通用指示符 ' 和符号 ^ 之间有什么区别

Question

我理解勾号表示通用参数，如下所示:

Seq.append : seq<'T> -> seq<'T> -> seq<'T>

但是插入符号代表什么，例如:

Seq.average : seq<^T> -> ^T

Answer 1

插入符号表示类型参数必须静态解析，通常是因为必须满足的类型有特定的约束，并且不能在正常的 .NET 元数据中表达。例如，您不能调用 Seq.average "test"即使"test"是 seq<char> ，因为char不支持必要的算术运算。

这些静态解析的类型变量仅来自 inline定义，并且当使用这样的函数时，其主体被内联，以便编译器可以插入正确的特定于类型的指令。