[plt-dev] Re: more requests for typed-scheme

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Tue Mar 17 08:38:43 EDT 2009

On Mar 16, 2009, at 11:59 PM, Sam TH wrote:

>> 3. make-list (srfi/1) (provide all base types for now): well, we  
>> really need
>> a polymorphically typed srfi/1
> We can't do this without contracts for polymorphic functions.

In the meantime, let's port the whole library to Typed Scheme. It's  
too useful not to be around. 

Posted on the dev mailing list.