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

From: Sam TH (samth at ccs.neu.edu)
Date: Tue Mar 17 08:50:01 EDT 2009

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

Posted on the dev mailing list.