On Sat, May 19, 2007 at 12:56:05PM +1000, skaller wrote:
> I have a silly idea. Introduce a new construction:
> 
> let tailrec f .. 
> 
> This is the same as let rec except it checks every direct call to f
> is in tail position (and bombs out the compiler if not).
> 
> [Maybe this can be done with camlp4, though I think it might
> be hard?]
> 
> I think this could be useful for newbies learning functional
> programming, and perhaps even experts looking for performance
> issues.
[...]

I think this is blocking understanding of how ressources
are allocated, when one uses a certain style of programming
and datastructures.

Ciao,
   Oliver