How To Get List Reduzieren Arithmetischer Überlauf zu werfen

Question

Also, gestern während der Arbeit durch einige F # Code als Teil einer Codierung Übung, zeigte ein anderer Entwickler etwas Interessantes. Wir haben nur einen kurzen Code geschrieben, um die Zusammenfassung einer Liste zu demonstrieren. Wenn ich das tue:

[1..100000] |> Seq.sum 

bekomme ich folgende Fehlermeldung:

System.OverflowException: Arithmetic operation resulted in an overflow. 
    at <StartupCode$FSI_0003>.$FSI_0003.main@() 
Stopped due to error 

Allerdings, wenn ich tun:

[1..100000] |> List.reduce (+) 

ich:

val it : int = 705082704 

ich zwar erkennen, Diese beiden Teile des Codes sollten das gleiche p erreichen Sie sind sehr unterschiedlich. Ich bin nur neugierig, gibt es eine Möglichkeit, die List.reduce die OverflowException zu werfen, anstatt mir eine schlechte Antwort zu geben?

Answer 1

Sie können ein getestetes Operator verwenden.

[1..100000] |> List.reduce (Checked.(+)) 

Answer 2

Von der f # Quellcode

[<CompiledName("Sum")>] 
let inline sum (source: seq< (^a) >) : ^a = 
    use e = source.GetEnumerator() 
    let mutable acc = LanguagePrimitives.GenericZero< (^a) > 
    while e.MoveNext() do 
     acc <- Checked.(+) acc e.Current 
    acc 

Beachten Sie die Markiert (Operator) diese Kontrollen für die Arithmetik überläuft ...

http://msdn.microsoft.com/en-us/library/vstudio/ee340296.aspx