F#高效高產的源頭就在于其構建在久經考驗的函數式編程理念之上。

使用F#進行算術操作

基本類型：

在F#中，對數字的加減乘除操作均是不檢查的(unchecked)；就是說如果超出范圍，不會得到異常。例如，2147483647是***的32位整數：

> 2147483647+1;;  
val it : int = -2147483648 

同時，我們也提供了檢查溢出的實現：Microsoft.FSharp.Core.Operators.Checked。這個模塊(module)中實現的操作將在移除發生時拋出System.OverflowException異常。

如果希望避免溢出，可以使用decimal，bigint和bignum類型。

除零將會得到System.DivideByZeroException，但浮點數(floating-point number)除外，浮點數除零將會返回Infinity和-Infinity。

通過類型推導(type inference)來確定操作符重載—如果沒有重載則F#約定使用32位整數的操作符。

如果希望使用指定類型的操作符，則必須使用類型注釋(type annotation)來幫助類型推導器推導出正確的結果：

> let squareAndAdd a b = a * a + b;;  
val squareAndAdd : int -> int -> int 

如果我們需要指定使用float的操作符，只需：

> let squareAndAdd (a:float) b = a * a + b;;  
val squareAndAdd : float -> float -> float 

這就是類型推導器發揮的作用。

位(bitwise)操作

將一個32位整數編碼成(encode) 1,2,或5個字節，并用一個數字列表返回。

let encode (n: int32) =  
    if   (n >= 0    && n <= 0x7F)   then [ n ]  
elif (n >= 0x80 && n <= 0x3FFF) then [ (0x80 ||| (n >>> 8)) &&& 0xFF;  
                                           (n &&& 0xFF) ]  
    else  [ 0xC0; ((n >>> 24) &&& 0xFF);  
                  ((n >>> 16) &&& 0xFF);  
                  ((n >>> 8)  &&& 0xFF);  
                   (n         &&& 0xFF) ] 

調用：

> encode 32;;  
val it : int32 list = [32]  
   
> encode 320;;  
val it : int32 list = [129; 64]  
   
> encode 32000;;  
val it : int32 list = [192; 0; 0; 125; 0] 

數字類型轉換

不同數字類型之間不會隱式轉換。必須使用相應的操作符進行顯式的類型轉換：

需要注意的是，這些轉換都是不檢查溢出的。不會拋出異常。如需要使用溢出異常，還是需要使用Microsoft.FSharp.Core.Operators.Checked模塊下的操作符。或者也可以使用.NET的System.Convert。但使用System.Convert會帶來一些問題，需要使用類型注釋來幫助類型推導器工作。

數字比較

可以使用的操作符為=，<>,<,<=,>,>=,min和max。全都和字面的意義相同。

需要注意的是，當對浮點數進行操作的時候，這些操作符實現了IEEE的NaN。任何包含NaN的比較操作都會返回false。

原文標題：【F#2.0系列】使用F#進行算術操作

鏈接：http://www.cnblogs.com/pandora/archive/2010/08/26/FSharp_Using_Number.html

【編輯推薦】

1. F#中的異步及并行模式：反饋進度的事件
2. F#中的異步及并行模式：代理的高級使用
3. F#簡明教程三：F#語法精要
4. F#簡明教程二：F#類型系統和類型推斷機制
5. 詳細介紹Visual Studio 2010F#使用