[plt-scheme] ports and garbage collection

At Mon, 22 Nov 2004 05:30:17 +0900, Daniel Silva wrote:
>   ;; this contract is awful... what's the right way to have the
> properties/types flow?
>   (provide/contract [call-with-resource (any/c
>                                          (any/c . -> . any/c)
>                                          (any/c . -> . any/c)
>                                          . -> .
>                                          any/c)]))

One first (poor) attempt is the anamorphic contracts, but they aren't
really right yet.

Robby