English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
forbidden construct as right hand side of "let rec"
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-10-25 (14:11)
From: Mathias Kende <mathias@k...>
Subject: Re: [Caml-list] forbidden construct as right hand side of "let rec"
On Fri, 23 Oct 2009 00:34:29 +0200, Stéphane Glondu <steph@glondu.net>
> 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 ?