FSharp: Определение типа с общим

Question

Я не понимаю, почему следующий код не компилируется

module GenericsTest = 
    open System 

    type Dog = { 
     name:string 
    } 

    type Apple = { 
     size:int 
    } 

    let get<'a> (id:string) = 
     Activator.CreateInstance<'a>() 

    let creatorInferred getAsParam = 
     let apple = { 
      name = getAsParam "some-apple" 
     } 

     let dog = { 
      size = getAsParam "some-dog" 
     } 
     (apple, dog) 

    let creatorWithTypeAnnotation (getAsParam:string->'a) = 
     let apple = { 
      name = getAsParam "some-apple" 
     } 

     let dog = { 
      size = getAsParam "some-dog" 
     } 
     (apple, dog) 

Если вы посмотрите на «творца ...» 2 функции - оба они дают ошибку компиляции ..

это выражение, как ожидается, иметь тип Int ... но здесь есть строка типа

Я могу видеть, что F # является infering типа возвращаемого метод getAsParam должен быть int, потому что он является первым, с которым он сталкивается. Однако почему он не решает использовать общий тип возврата?

Как вы можете видеть, я попытался использовать подпись функции в методе creatorWithTypeAnnotation, но это не влияет.

Я в тупике! Как заставить это признать, что функция getAsParam должна возвращать общий?

Answer 1

здесь быстрый F # -interactive сессии на то, что я имел в виду читов, используя интерфейс (он просто должен быть какой-то member - так это может быть метод на классе тоже, конечно):

> type IParam = abstract getParam : string -> 'a;;        

type IParam = 
    interface 
    abstract member getParam : string -> 'a 
    end 

> let createWith (p : IParam) : int*bool = (p.getParam "a", p.getParam "b");;    

val createWith : p:IParam -> int * bool 

> let test = { new IParam with member __.getParam s = Unchecked.defaultof<_> };; 

val test : IParam 

> createWith test;;                
val it : int * bool = (0, false) 

вы могли бы найти это не совсем легко реализовать некоторые Санер экземпляры IParam хотя;)

Answer 2

Как следует Карстен, переменные типа все во время компиляции. Если вы определяете getAsParam как string -> 'a, это не останавливает решение 'a во время компиляции. Поскольку во время компиляции не удается разрешить два разных типа, компиляция не удалась.

Рассмотрим вашего примера:

let creatorWithTypeAnnotation (getAsParam:string->'a) = 
    let apple = { 
     name = getAsParam "some-apple" 
    } 

    let dog = { 
     size = getAsParam "some-dog" 
    } 

Это также может быть объявлено таким образом (я буду использовать 'A вместо 'a, так как намеченная конвенции является то, что переменными типа строчным являются для компилятора выводимых типов):

let creatorWithTypeAnnotation<'A> (getAsParam:string->'A) = 
    let apple = { 
     name = getAsParam "some-apple" 
    } 

    let dog = { 
     size = getAsParam "some-dog" 
    } 

Теперь должно быть понятно, почему код не компилируется.