Question

here’s the problem. I need to time a function in f# using another function. I have this piece of code

let time f a =
  let start = System.DateTime.Now in
  let res = (fun f a -> f(a)) in
  let finish = System.DateTime.Now in
  (res, finish - start)

which I’m trying to call saying

time ackermann (2,9);;

I have a function ackermann that takes a tuple (s,n) as argument
Probably something fundamentally wrong with this but I don’t think I’m far away from a solution that could and looks somewhat like this.

Any suggestions?

Oh btw. the error message I’m getting is saying :

stdin(19,1): error FS0030: Value restriction. The value ‘it’ has been inferred to have generic type
val it : ((‘_a -> ‘_b) -> ‘_a -> ‘_b) * System.TimeSpan
Either define ‘it’ as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.

Answer 1

You have at least two issues:

1. Try let res = f a. You already have values f and a in scope, but you’re currently defining res as a function which takes a new f and applies it to a new a.
2. Don’t use DateTimes (which are appropriate for representing dates and times, but not short durations). Instead, you should be using a System.Diagnostics.Stopwatch.