Version française
Home     About     Download     Resources     Contact us    
Browse thread
tail rec
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Oliver Bandel <oliver@f...>
Subject: Re: [Caml-list] tail rec
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