[plt-scheme] macro question

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