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

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.