types - # 符号在 f# 函数签名中是什么意思？

Question

这个问题在这里已经有了答案:





What does # (pound sign) mean in type signatures?

(1 个回答)


5年前关闭。




我见过这样定义的函数:

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

签名中的# 符号是什么意思？
logger:ILogger 和有什么区别和 logger:#ILogger ?

Answer 1

类型签名#t称为“flexible type”，是'a when 'a :> t的简写。 .

即，#t表示“t 的任何子类型”。