From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,1b41412c7bc28c47
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps83.POSTED!023a3d7c!not-for-mail
Sender: blaak@METROID
Newsgroups: comp.lang.ada
Subject: Re: What is a Contract? (was: Suffix _T for types found good)
References: <2e9ebb23-a68b-43cf-8871-febcb173f951@56g2000hsm.googlegroups.com>
 <4899d2af$0$19731$4d3efbfe@news.sover.net>
 <sbidndoc_aQH0wfVnZ2dnUVZ_tjinZ2d@comcast.com>
 <Pine.WNT.4.64.0808071536330.4692@teor1> <uwsispxj0.fsf@STRIPCAPStelus.net>
 <efded36d-c0f1-45f9-b1ac-f3575f642ad7@w7g2000hsa.googlegroups.com>
 <uvdxwwqs2.fsf@STRIPCAPStelus.net>
 <48abcad9$0$11749$9b4e6d93@newsspool1.arcor-online.net>
From: Ray Blaak <rAYblaaK@STRIPCAPStelus.net>
Message-ID: <uzln764n2.fsf@STRIPCAPStelus.net>
Organization: The Transcend
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Wed, 20 Aug 2008 16:19:16 GMT
NNTP-Posting-Host: 208.66.252.228
X-Trace: edtnps83 1219249156 208.66.252.228 (Wed, 20 Aug 2008 10:19:16 MDT)
NNTP-Posting-Date: Wed, 20 Aug 2008 10:19:16 MDT
Xref: g2news2.google.com comp.lang.ada:7414
Date: 2008-08-20T16:19:16+00:00
List-Id: <comp.lang.ada>

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.