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. _________________________________________________
 For list-related administrative tasks:
 http://list.cs.brown.edu/mailman/listinfo/plt-dev

Reply via email to