[plt-scheme] macro question

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Jun 8 16:02:30 EDT 2008

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.


As for inference, see previous message to PR: it's local only.

;; ---

The type system is implemented via macros.

-- Matthias

> Also: does the compiler make any kind of type inferencing on user  
> defined functions to optimize the compiled code or does it just  
> optimize stuff that it already knew about and inline functions/ 
> propagate results where it knew it could without analyzing user code?
> I would assume it can optimize user code but I'd like to know some  
> more details.
> s/compiler/JIT/g if it's appropriate.
>   - Filipe Cabecinhas
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.