[plt-scheme] contract constructors

From: Robby Findler (robby at cs.uchicago.edu)
Date: Tue Jul 20 15:28:13 EDT 2004

Those are all certainly doable. I've put them on my list, but might not
be able to get to them for a while.

Robby

At Tue, 20 Jul 2004 14:06:01 -0400 (EDT), "David A. Herman" wrote:
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> 
> I think the following contract constructors would be useful. I'm not sure
> if they'd be hard/impossible.
> 
>     ;; I imagine (promiseof a) should be similar to (-> a)
>     (promiseof contract)                                   ; ho
> 
>     ;; similar to vector/p
>     (struct/p struct-type flat-contract ...)               ; flat
> 
>     ;; similar to immutable-vectorof
>     (immutable-structof struct-type contract ...)          ; ho
> 
> Dave


Posted on the users mailing list.