F # tương đương với `is` từ khóa trong C#?

Question

Ngày F # đầu tiên của tôi. Nếu tôi có điều này:

let cat = Animal() 

Bây giờ làm thế nào để tôi kiểm tra ở giai đoạn sau này nếu catisAnimal?

Trong C#

bool b = cat is Animal; 

Trong F #?

Answer 1

@ildjarn xứng đáng tín dụng vào đây để trả lời đầu tiên, nhưng tôi gửi câu trả lời ở đây vì vậy nó có thể được chấp nhận.

Tương đương F # của từ khóa C# is là :?. Ví dụ:

let cat = Animal() 
if cat :? Animal then 
    printfn "cat is an animal." 
else 
    printfn "cat is not an animal." 

Answer 2

Đối với cuộc biểu tình chỉ (không xác định một chức năng is):

let is<'T> (x: obj) = x :? 'T 

type Animal() = class end 
type Cat() = inherit Animal() 

let cat = Cat() 
cat |> is<Animal> //true 

Answer 3

Tôi biết mình đã trễ. Nếu bạn cố gắng kiểm tra loại của một bộ sưu tập trong fsi với:? nó sẽ cung cấp cho một lỗi, nếu các loại mục không phù hợp. Ví dụ.

let squares = seq { for x in 1 .. 15 -> x * x } 
squares :? list<int> ;; // will give false 
squares :? list<string> ;; // error FS0193: Type constraint mismatch 

Gói trong một chức năng như Daniels là < 'T> hoạt động.