是否有可能寫在F＃int和長（浮點，字節.etc）函數的工作？

Question

使用時

let add a b = a + b 

它爲int類型。和

let add2 a b:float = a + b 

工作浮動。

是否有可能寫在F＃int和長（浮點，字節.etc）函數的工作？

我需要他的 「一」 工作int和long這樣的功能：

let f a b = a >>> b 
let f (a:int64) b = a >>> b 

是否有可能在F＃？

Answer 1

當你要編寫能夠與多個不同的數字類型工作的功能，你需要使用inline和「靜態成員的約束」。問題是，正常的.NET泛型不能捕獲像「支持+運營商」的約束。

爲了使您的樣品add功能通用的，你可以使用inline：

let inline add x y = x + y 

當你看到推斷出的類型，你會看到這樣的事情：

val inline add : 
    x: ^a -> y: ^b -> ^c 
    when (^a or ^b) : (static member (+) : ^a * ^b -> ^c) 

這本質上說，該函數可以在支持+運算符的任何兩個參數上調用。請注意，這只是工作，因爲該功能是inline等F＃編譯器不必依靠.NET來表達的約束。對於>>>運營商相同的作品：

let inline f a b = a >>> b 

功能現在可以用兩種int64和int參數一起使用：

f 1024L 2 
f 1024 2 

我寫了一篇文章關於writing generic numeric code in F#前一段時間，你可能會覺得太有用。