Come si scrive questo vincolo membro in F #?

Question

Per un tipo

type Cow() = 
    class 
     member this.Walk() = Console.WriteLine("The cow walks.") 
    end 

posso scrivere un metodo che impone un membro vincolare per il metodo Walk Like

let inline walk_the_creature creature = 
    (^a : (member Walk : unit -> unit) creature) 
// and then do 
walk_the_creature (Cow()) 

In questo caso il tipo viene dedotto. Sono in grado di scrivere in modo esplicito un vincolo sul parametro creatura come questa

// Does not compile 
// Lookup on object of indeterminate type based on information prior to this 
// program point. A type annotation may be needed... 
let inline walk_the_creature_2 (creature:^a when ^a:(member Walk : unit -> unit)) = 
    creature.Walk() 

Che cosa sto facendo di sbagliato?

Answer 1

Non sta scrivendo esplicitamente i vincoli che è il problema, è che la sintassi non è così bella che è possibile posizionare un vincolo membro su un parametro e quindi richiamare il membro nel solito modo. Il corpo di walk_the_creature e walk_the_creature2 sarebbe lo stesso qui:

let inline walk_the_creature_2 (creature:^a when ^a:(member Walk : unit -> unit)) = 
    (^a : (member Walk : unit -> unit) creature)