[plt-scheme] Re: function contracts

From: David Van Horn (dvanhorn at cs.uvm.edu)
Date: Sun Mar 14 16:39:55 EST 2004

Robby Findler wrote:
> I've just added a new contract combinator called ->r (r for "related"
> as in "the arguments are related to each other").

Thanks, this has made my contract code much more legible.

It seems natural to have such a combinator that enforced a relation on 
multiple return values as well, or is there an easy way to do this with 
the current system?


Posted on the users mailing list.