Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2010-02-15 (16:17)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] Re: The need to specify 'rec' in a recursive function defintion
On Monday 15 February 2010 15:46:58 Stefan Monnier wrote:
> Till Varoquaux had written:
> > Let's make things clear here: the "rec" *really* is a feature;
> Nobody said otherwise.  Eliminating the "rec" is also a feature.
> Those two features are mostly incompatible, and many reasonable people
> disagree on which one of the two is more important.
>         Stefan "who extensively used that feature in SML, but happens
>                 to prefer the other feature nevertheless"

Standard ML doesn't have the feature that Till described.

Dr Jon Harrop, Flying Frog Consultancy Ltd.