[racket] Contracts in interfaces

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.