[plt-scheme] macro question

On Sun, Jun 08, 2008 at 04:02:30PM -0400, Matthias Felleisen wrote:
> 
> On Jun 8, 2008, at 3:35 PM, Filipe Cabecinhas wrote:
> 
> >Does the compiler use the types to produce more efficient code?
> 
> Not yet. Future work. (And always keeping the system sound.)
> 
> >Or are the types used just for maintainability purposes?
> 
> For now, yes.

In my opinion, untyped Scheme needs to be built on top of typed Scheme, 
not the other way around.  But until this revolution happens, I'm 
happy to use it they way it is.

-- hendrik