Что означает символ # в сигнатуре функции 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?

Answer 1

Подпись типа #t называется «гибкий тип», и это всего лишь короткая рука для 'a when 'a :> t.

То, что #t означает "любой подвид t".