[racket] Contracts in interfaces

From: Grant Rettke (grettke at acm.org)
Date: Tue Sep 25 08:08:06 EDT 2012

On Tue, Sep 25, 2012 at 12:43 AM, Asumu Takikawa <asumu at ccs.neu.edu> wrote:
> Yes, it's a new feature that was included in Racket 5.3. Interface
> contracts are complementary to `class/c` contracts and work slightly
> differently. Most importantly, any class that implements an interface
> (either directly or indirectly) with a contracted method will also have
> a contract on that method.

Awesome feature, it will warm Eiffelers harts.

Posted on the users mailing list.