Version française
Home     About     Download     Resources     Contact us    
Browse thread
The need to specify 'rec' in a recursive function defintion
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Gerd Stolpmann <gerd@g...>
Subject: Re: [Caml-list] The need to specify 'rec' in a recursive function defintion

Am Dienstag, den 09.02.2010, 22:58 +0100 schrieb Guillaume Yziquel:
> Gerd Stolpmann a écrit :
> > Am Dienstag, den 09.02.2010, 15:50 -0500 schrieb Saptarshi Guha:
> > 
> > Besides the different way of defining "let" and "let rec" there are also
> > differences in typing.

Well, at least you can have new effects. Look for "polymorphic
recursion".

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany 
gerd@gerd-stolpmann.de          http://www.gerd-stolpmann.de
Phone: +49-6151-153855                  Fax: +49-6151-997714
------------------------------------------------------------