On 5/21/07, Jon Harrop < jon%40ffconsultancy.com">jon
ffconsultancy.com> wrote:
> On Monday 21 May 2007 14:58:40 Hugo Ferreira wrote:
> >
> > Now that we at it, wouldn't recursion also be an important issue
> > (standard and in modules)? 
>
> Can you elaborate? I don't follow...
>
I don't know about modules, but standard recursion could allow the syntax:
let rec f : 'a. 'a polymorphic_function = ...
.