[plt-dev] more requests for typed-scheme

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Mar 16 21:43:43 EDT 2009

After a disasterous conversion attempt.

We need:

1. local

2. empty?, first, second

3. make-list (srfi/1) (provide all base types for now): well, we  
really need a polymorphically typed srfi/1

4. list->string, string->list (base)

4. We need docs for primitives (say filter) and examples.

6. Is it really true that filters can be defined only via the (: ...)  
form (at the top level)?

-- Matthias

Posted on the dev mailing list.