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

On Tue, Mar 17, 2009 at 8:38 AM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
>
> 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.

I thought the idea was that anything that anything from SRFI 1 that
multiple people find useful should go in `scheme/list'.  As I recall,
I advocated for putting everything there, so anything you find useful
automatically has enough votes.  :)

-- 
sam th
samth at ccs.neu.edu