F #: по умолчанию параметр Функция OBJ в классе

Question

я создал простую функцию:

let myGenericFunc abc = printfn "%A" abc 

его тип:

'a -> unit 

Тогда я хочу, чтобы сделать его член класса:

type MyClass() = 
    member x.Func = myGenericFunc 

Однако тип "Func" теперь

obj -> unit 

Кроме того: Если я параметр явно, все нормально снова:

type MyClass() = 
    // Func : 'a -> unit 
    member x.Func y = myGenericFunc y 

Возникает вопрос: что происходит?!

Answer 1

Ваш первый x.Func определяет свойство, а не метод, и поскольку свойства не могут быть общими, он должен использовать конкретный тип для 'a.

Когда вы определяете x.Func y, вы создаете метод, который может быть общим.