eine timeit Funktion für F #

Question

ich so etwas wie

let timeit (x:'a->'b) = 
    let start = System.DateTime.Now 
    x 
    let duration = System.DateTime.Now - start 
    printfn "time usage = %A" duration.Milliseconds 
    () 

zu schreiben versuche es für

let matrixtest() = 
    let x = vector[1.;2.;4.] 
    let y = matrix[[1.;2.;4.;];[3.;4.;9.;]] 
    printfn "%A" (y * x) 
    () 

aber nicht für

let rec fib x = 
     match x with 
     | 0 | 1 -> 1 
     | n -> fib (n-1) + fib (n-2) 

sa F # funktioniert, ist statisch typisiert.

Irgendeine Idee? Vielen Dank.

Answer 1

Auch in der Matrix Fall müssen Sie die Funktion auf einen Wert anzuwenden. Versuchen Sie folgendes:

let timeit f v = 
    let start = System.DateTime.Now 
    let result = f v 
    let duration = System.DateTime.Now - start 
    printfn "time usage = %A" duration.Milliseconds 
    result 

Aequitarum Custos die StopWatch Klasse zu verwenden, wenn richtig ist.

Answer 2

Verwenden System.Diagnostics.Stopwatch

viel genauer in Timing.

Das geht davon aus, dass Sie ein Ergebnis von 0 Sekunden erhalten, das ist nicht DateTime.Now funktioniert nicht, es ist nur schlechte Genauigkeit.

http://msdn.microsoft.com/en-us/library/system.diagnostics.stopwatch.aspx

Answer 3

setzen sie zusammen

let timeit f v = 
    let watch = new System.Diagnostics.Stopwatch() 
    watch.Start() 
    let res = f v 
    watch.Stop() 
    printfn "Needed %f ms" (watch.Elapsed.TotalMilliseconds) 
    res 

Answer 4

Wenn in F # Testen Code interaktiv, können Sie die #time Richtlinie zu Zeit jedes Stück Code, den Sie/Eingabe in F # interaktiven senden. Beispiel:

> #time;; 

--> Timing now on 

> let slowstring = List.fold (+) "" [for i in 1..10000 -> string i];; 
Real: 00:00:00.544, CPU: 00:00:00.546, GC gen0: 464, gen1: 37, gen2: 0 

val slowstring : string = 
    "1234567891011121314151617181920212223242526272829303132333435"+[38833 chars] 

> let quickstring = String.concat "" [for i in 1..10000 -> string i];; 
Real: 00:00:00.008, CPU: 00:00:00.015, GC gen0: 0, gen1: 0, gen2: 0 

val quickstring : string = 
    "1234567891011121314151617181920212223242526272829303132333435"+[38833 chars] 

>