From: Martin DeMello <martindemello@...>
Date: 2003-01-06T05:18:50+09:00
Subject: Re: Interfaces in Ruby (attempted summary)

Jim Weirich <jweirich@one.net> wrote:
> On Sun, 2003-01-05 at 13:38, Martin DeMello wrote:
>> Jim Weirich <jweirich@one.net> wrote:
>> > 
>> > There are several reasons people like interfaces (and DbC for that
>> > matter) ...
>> > 
>> > (a) They enable compile time static type checks.
>> > (b) They document the intended behaviour
>> 
>> (c) They permit reasonably watertight multiperson projects.
> 
> Isn't (c) a restatement of (a)?  Or is there something other than static
> type checking that contributes to (c)?

Aren't contracts distinct from static type checks?

martin