在 F# 函数签名中，# 符号代表什么意思？

Question

我看到一个定义为这样的函数：

let private applyTarget (logger:#ILogger) ceiling target =
    logger.Debug "enforce ceiling"
    match target > ceiling with
    | true -> ceiling | false -> target

在签名中，符号#代表什么意思？

logger:ILogger和logger:#ILogger有什么区别？

- Anish Patel

---

我认为这是一种灵活的类型注释。我怀疑在F#中向上转型不总是隐式的，因此使用灵活的类型不强制调用者进行向上转型是有意义的。 - Mike Zboray

Answer 1

类型签名#t被称为"灵活类型"，只是'a when 'a :> t的简写。

也就是说，#t意味着"任何t的子类型"。

- Fyodor Soikin