.net - 签名中类型前面的 # 符号 (F#) 有何含义？

Question

我在一些库中看到了以下#符号，但不确定它的意义是什么:

let Compile (e: #Expr)

在本例中，Expr 指的是 FSharp.Quotations.Expr - 不确定这是否相关。

Answer 1

#Expr 是 'T when 'T :> Expr 的简写，可以读作

some type, which we shall call T for now, which is compatible with type Expr

MSDN 有更多关于 Flexible Types 的文档.

另请参阅What is the purpose of flexible type annotation in F#?在 Stack Overflow 上。