Làm cách nào để viết ràng buộc thành viên này trong F #?

Question

Đối với một loại

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

tôi có thể viết một phương pháp mà thực thi một thành viên chế cho phương pháp Walk như

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

Trong trường hợp này các loại được suy ra. Tôi không thể viết rõ ràng ràng buộc đối với thông số sinh vật như thế này

// 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() 

Tôi đang làm gì sai?

Answer 1

Nó không viết rõ ràng ràng buộc là vấn đề, đó là cú pháp không đẹp đến nỗi bạn có thể đặt một ràng buộc thành viên vào một tham số và sau đó gọi thành viên theo cách thông thường. Phần nội dung của walk_the_creature và walk_the_creature2 sẽ là như nhau ở đây:

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