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,dbcfe2b0a74da57e
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news.glorb.com!txtfeed1.tudelft.nl!tudelft.nl!txtfeed2.tudelft.nl!eweka.nl!lightspeed.eweka.nl!82.197.223.104.MISMATCH!feeder4.cambrium.nl!feed.tweaknews.nl!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: Inherited Methods and such
References: <1190039166.449906.15070@g4g2000hsf.googlegroups.com>
	<1190041908.492024.263110@19g2000hsx.googlegroups.com>
	<1190060534.958182.51800@d55g2000hsg.googlegroups.com>
	<87tzptuhku.fsf@ludovic-brenta.org>
	<1190125656.071013.303640@22g2000hsm.googlegroups.com>
	<1ds7l1l7oeyrx.1cpsvrpkikour.dlg@40tude.net>
	<87k5qnvn4q.fsf@ludovic-brenta.org>
	<qdnrodryn9bf$.1w6blm94oq05.dlg@40tude.net>
Date: Tue, 18 Sep 2007 21:39:13 +0200
Message-ID: <87k5qnu5jy.fsf@ludovic-brenta.org>
User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux)
Cancel-Lock: sha1:3Rnn8wNA4QxcDvBqZpHD5NNbWZw=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Organization: Tele2
X-Trace: 
 DXC=YSbF^\M0VTGalPDXIADVPG6`Y6aWje^YJ:`S`0P0C6kHHfAm5UI]M3@BDdmNV5Xb;KR9bjnCkC?2N
Xref: g2news2.google.com comp.lang.ada:2022
Date: 2007-09-18T21:39:13+02:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov writes:
> On Tue, 18 Sep 2007 20:34:13 +0200, Ludovic Brenta wrote:
>
>> Dmitry A. Kazakov writes:
>>>> On 17 Wrz, 23:07, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:
>>>> 
>>>>> No, I meant C++ does not have a notation for Ada's concept of a class.
>>>
>>> Neither Ada has (I mean a "notation of concept" (:-)). But T& is
>>> close to T'Class, and IMO the concept of a class as a set of types
>>> [obtained upon inheritance] and a type to represent that set is same
>>> in both languages.  Ada separates the set and its representative,
>>> C++ does not.
>> 
>> I'm not following you.  Do you mean to say that T'Class is not a
>> notation for Ada's concept of a class?
>
> Yes. IMO, concepts do not have notations, maybe in category theory, but not
> in a programming language [*]. In Ada T'Class *denotes* a concrete type. It
> does not denote the concepts of type, of class, of computing, of late
> binding etc.
>
> In a concrete program T'Class may express a concept in the application
> domain space. The latter an OOA theologian would call "class." (Did you
> mean this?) They argue that there exists some inherent objective relation
> between dogs (canis lupus familiaris), the word "dog," and Dog'Class. That
> IMO is beyond the language Ada, and is a purely religious concept. (Sorry
> for a pun (:-))

Call me religious all you want.  I thing your reasoning is wrong.  In
human languages there are words to denote concepts, and I think
T'Class denotes the concept of "the tagged type T or any type derived
therefrom", i.e. the Ada concept of a class.  T'Class is not a
specific type, it is a class-wide type.

So, I disagree with your earlier statement too.

But I'm not going to go into a theological argument with anyone.

-- 
Ludovic Brenta.