Re: type keyword proposal

Jonathan Gardner wrote:

>Mark Hahn wrote:
>>
>> In other words these are assertions that variables are of a certain
>> type.
>
> I vote an emphatic NO.
>
> Here's why. We aren't really asserting that an object is of a
> particular type. That is an assertion that is made, but very rarely
> and only in specific circumstances.
>
> Instead, we are asserting that an object provides a particular
> interface. That's what we really want.
>
> What is an interface specifically? How do we specify it? I don't have
> the answers to those questions, but I am sure we can come up with
> something useful.

Ok.  I'll buy that.

The answer to this might lie in the other design-by -contract proposal I'm
working on which is classes.  Maybe the classes contract proposal should
include an "interface" contract.  Or maybe the "interface" should be a
sister proposal.