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!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!club-internet.fr!feedme-small.clubint.net!news.astraweb.com!newsrouter-eu.astraweb.com!multikabel.net!newsfeed10.multikabel.net!tudelft.nl!txtfeed1.tudelft.nl!feeder1.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>
User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux)
Date: Tue, 18 Sep 2007 20:34:13 +0200
Message-ID: <87k5qnvn4q.fsf@ludovic-brenta.org>
Cancel-Lock: sha1:ZUzyj91F0RexEi+Q72xy7gj6axg=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Organization: Tele2
X-Trace: 
 DXC=B4GQ6dClZTKalPDXIADVPG6`Y6aWje^YJQGQPWaf0QAHHfAm5UI]M3@BDdmNV5Xb;KQ:jja9WC:=H
Xref: g2news2.google.com comp.lang.ada:2020
Date: 2007-09-18T20:34:13+02:00
List-Id: <comp.lang.ada>

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?

-- 
Ludovic Brenta.