một hàm timeit cho F #

Question

Tôi cố gắng để viết một cái gì đó giống như

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

nó hoạt động cho

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

nhưng không phải cho

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

sa F # là đánh máy tĩnh.

Bất kỳ ý tưởng nào? Cảm ơn.

Answer 1

Ngay cả trong trường hợp ma trận, bạn cần áp dụng hàm vào giá trị. Hãy thử điều này:

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 là đúng về việc sử dụng lớp StopWatch, mặc dù.

Answer 2

Sử dụng System.Diagnostics.Stopwatch

Chính xác hơn về thời gian.

Giả sử bạn nhận được kết quả là 0 giây, không phải là DateTime.Now không hoạt động, nó chỉ kém chính xác.

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

Answer 3

Đưa nó cùng

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

Khi kiểm tra mã trong F # tương tác, bạn có thể sử dụng các chỉ thị #time gian mỗi đoạn mã mà bạn gửi đến/nhập trong F # tương tác. Ví dụ:

> #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] 

>