On Mon, Mar 16, 2009 at 9:43 PM, Matthias Felleisen
<matthias at ccs.neu.edu> 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
samth at ccs.neu.edu