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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,25d835bb9a4a003f
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Types,
 packages & objects : the good old naming conventions  question (without
 religious ware)
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: 
 <ae7fb66b-4eff-405f-b568-77a1047ec6cb@n35g2000yqm.googlegroups.com>
  <4ae9dade$0$6551$9b4e6d93@newsspool4.arcor-online.net>
 <u4oph6tn2.fsf@stephe-leake.org> <hcfcur$opp$1@news.tornevall.net>
 <30ad5ea8-955e-45c0-ae94-c84927cdb2b8@d5g2000yqm.googlegroups.com>
 <c018669e-645e-4aa8-8ac3-550973a38b42@p8g2000yqb.googlegroups.com>
 <1pldds3sao0zf$.1h9y0q8qmnks1$.dlg@40tude.net>
 <fd5564ad-bb9d-46e3-81f9-27e11d53ee1f@w19g2000yqk.googlegroups.com>
Date: Sat, 31 Oct 2009 12:47:38 +0100
Message-ID: <pubbx5a34uh0$.1jt6g1qan60mk.dlg@40tude.net>
NNTP-Posting-Date: 31 Oct 2009 12:47:39 CET
NNTP-Posting-Host: c4277066.newsspool3.arcor-online.net
X-Trace: 
 DXC=k_:CAgedYhmIkjb;<8iR=aMcF=Q^Z^V3h4Fo<]lROoRa8kF<OcfhCOkV[>KK4PYCSk[6LHn;2LCVn[<mhadbfdUkWaojSBkg1\f]fMfJC^7EQc
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:8915
Date: 2009-10-31T12:47:39+01:00
List-Id: <comp.lang.ada>

On Sat, 31 Oct 2009 04:30:38 -0700 (PDT), Hibou57 (Yannick Duch�ne) wrote:

> On 31 oct, 10:49, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
>> "the cats"
> This is a class, not a type
> So let's call classes The_Xxxs (with an ending S)
> But what about types ? (and instances of a type)

Class is a set of types. Type is a set of values. When the cat is an
object, the cats is its type. Mammals is the set of types that contain the
type cats. The corresponding type can be the mammals, i.e. flatten mammals
class.

In Ada there is no notation for the class. T'Class is a type, the closure
of the class rooted in T, i.e. all values of the members of types derived
from T.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de