On Fri, 23 Oct 2009 00:34:29 +0200, Stéphane Glondu <st...@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 ?
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
