| 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. |
|
![[logo]](/logo.png){kind=logo}