[racket] Introductory talk on Contracts and Functional Contracts, with most examples in Racket

From: Grant Rettke (grettke at acm.org)
Date: Thu Sep 5 23:05:21 EDT 2013

On Wed, Sep 4, 2013 at 5:58 AM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
> That's what Meyer thought with Eiffel. It assumes a closed world of software project with a central registry of higher-order types
> combined with contracts to avoid rampant code duplication. Some people want to live in this world; real people can't.

People are eager to meet other people's expectations. When your salary
is low, that often changes.

Posted on the users mailing list.