On Mon, Mar 16, 2009 at 9:43 PM, Matthias Felleisen <[email protected]> wrote: > After a disasterous conversion attempt. > > We need: > > 1. local
Available from scheme/local > 2. empty?, first, second Available from scheme/list > 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. > 4. list->string, string->list (base) Fixed in SVN. > 4. We need docs for primitives (say filter) and examples. Is this just `filter' (which has special behavior in Typed Scheme) or all of the primitives? > 6. Is it really true that filters can be defined only via the (: ...) form > (at the top level)? I don't understand what you're asking here. The simple answer is no, this should work fine: #lang typed-scheme (let () (: f (Any -> Boolean : Number)) (define (f x) (number? x)) (f 3)) -- sam th [email protected] _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
