[plt-scheme] Typed Scheme and 3.99

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Nov 18 10:37:17 EST 2007

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

Posted on the users mailing list.