[plt-scheme] contract constructors

From: David A. Herman (dherman at ccs.neu.edu)
Date: Tue Jul 20 14:06:01 EDT 2004

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


Posted on the users mailing list.