On Tue, Sep 25, 2012 at 12:43 AM, Asumu Takikawa <[email protected]> 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.
____________________
  Racket Users list:
  http://lists.racket-lang.org/users

Reply via email to