[plt-scheme] Typed Scheme and 3.99

Can you elaborate on this? It's for group members only.

Also, Typed Scheme is not a language with an optional typed system.  
It is an explicitly typed programming language that is highly  
compatible with PLT Scheme so that you can easily create programs  
whose modules live in both worlds.

Ever since studying the Common Lisp 'optional type' annotation  
mechanism, I have been hyper-sensitive. It is never clear what they  
mean -- besides being hints to compilers -- and what they imply for  
the programmer or how they help.

-- Matthias




On Nov 18, 2007, at 10:21 AM, Grant Rettke wrote:

> On Nov 18, 2007 8:18 AM, Noel Welsh <noelwelsh at gmail.com> wrote:
>> Anyway, it's nice work and I'm really excited about the  
>> possibilities Typed Scheme brings!
>
> On a related note, the other day I read about Guillaume Carter's
> JazzScheme language, it is now R5RS compatible and includes an
> optional type system:
>
> http://groups.google.com/group/jazzscheme/browse_frm/thread/ 
> 488fb1673fdfcd0
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme