Archives of the Caml mailing list > Message from Gerd Stolpmann

Browse thread

The need to specify 'rec' in a recursive function defintion

Saptarshi Guha
- Guillaume Yziquel
  - Saptarshi Guha
- Gerd Stolpmann
  - Guillaume Yziquel
    - Gerd Stolpmann
      - Guillaume Yziquel
        
        Alain Frisch
  - Jon Harrop
    - rossberg@m...
  - Saptarshi Guha
  - Andrej Bauer
    - Francois Maurel
    - rossberg@m...
- Jon Harrop
  - Saptarshi Guha
    - Jon Harrop
- Stefan Monnier
  - Till Varoquaux
    - Jon Harrop
    - Stefan Monnier
      - Jon Harrop
        
        Stefan Monnier
        
        Stefan Monnier
        
        Ashish Agarwal

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
------------------------------------------------------------