]>
On Fri, 23 Oct 2009 00:34:29 +0200, Stéphane Glondu <steph@glondu.net>
wrote:
> Mathias Kende a écrit :
>> let rec g = f g
>
> What about:
>
> let rec g x = f g x
This will compile, but then I also want to write :
let rec h = t (f h)
(with t : ('a -> 'b) -> 'a -> 'b) but here, I can't afford to use
let rec h x = t (f h) x
because t as some side effects and I need it to be evaluated only once.
Any idea on how to do that ?