Re: What is a Contract? (was: Suffix _T for types found good)

[Ray Blaak <rAYblaaK@STRIPCAPStelus.net>]

Georg Bauhaus <see.reply.to@maps.futureapps.de> writes:

> Ray Blaak wrote:
> 
> > A type is a contract specifying behaviour and storage.
> 
> In the context of Ada types, this use of the word "contract" is
> potentially eroding the very notion of contract.  A type is not
> specific enough to be the same as a proper full contract:

I guess I meant that in the natural English sense. A type is a contract in
that it specifies what it specifies.

If that fails to specify time, order, exceptions, that is a separate issue.

My point is not to debate what a contract is as such, but to emphasize that a
type is not an indefinite instance, but a way of specifying (some) properties
of instances.

-- 
Cheers,                                        The Rhythm is around me,
                                               The Rhythm has control.
Ray Blaak                                      The Rhythm is inside me,
rAYblaaK@STRIPCAPStelus.net                    The Rhythm has my soul.