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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!mx05.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Seeking for papers about tagged types vs access to subprograms
Date: Tue, 14 May 2013 09:44:00 +0200
Organization: cbb software GmbH
Message-ID: <1um7tijeo609b$.1gtdijp0acfmn$.dlg@40tude.net>
References: <op.wv8jh1c1ule2fv@cardamome>
 <1vrhb7oc4qbob$.q02vuouyovp5$.dlg@40tude.net> <op.wwn4oak8ule2fv@cardamome>
 <19lrzzbgm77v6.1dzpgqckptaj6.dlg@40tude.net> <kmbohm$elb$1@loke.gir.dk>
 <p0pf97g5w6xg.jhca6ztjwpde$.dlg@40tude.net> <op.wwq9s4l6ule2fv@cardamome>
 <1bfhq7jo34xpi.p8n2vq6yjsea.dlg@40tude.net> <op.wwrefx1pule2fv@cardamome>
 <cps71yzogw24$.7ol98fxcaurj$.dlg@40tude.net> <op.wwriky0dule2fv@cardamome>
 <nd22gfeezrwf$.tlj4yyygrwq3$.dlg@40tude.net> <kmecg6$et4$1@loke.gir.dk>
 <12gn9wvv1gwfk.10ikfju4rzmnj.dlg@40tude.net> <kmh7d4$up3$1@loke.gir.dk>
 <1oy5rmprgawqs.1jz36okze0xju$.dlg@40tude.net> <kmk45u$v45$1@loke.gir.dk>
 <1q2ql1e4rcgko.diszzq1mhaq8$.dlg@40tude.net>
 <518dedd4$0$6581$9b4e6d93@newsspool3.arcor-online.net>
 <hxkln519n179.1kt13z7phxg2f.dlg@40tude.net> <kms7hs$8ur$1@loke.gir.dk>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:15551
Date: 2013-05-14T09:44:00+02:00
List-Id: <comp.lang.ada>

On Mon, 13 May 2013 21:29:15 -0500, Randy Brukardt wrote:

> The big disconnect is that you (and lots of other misguided people) think 
> that types have something to do with operations. Types are more fundamental 
> than operations; they get *used* in operations, rather than the operations 
> being part of the type.

Neither type nor operation nor value exist before other. You cannot
separate them. It is like magnetic field and current.

> Operations are the next level of complexity, and exist 
> separately from the types.

You cannot define operation without type and conversely. Your concept comes
from languages of 60's built upon predefined types, e.g. FORTRAN. There
predefined types were given and the rest only used them as building blocks
for algorithms.

The point is that conceptually there is nothing special in such types. They
are not better (no more fundamental) and not worse than user-defined types.
And the operations you define on them are as much operations as the
built-in operations. Operations and types are fully equal.

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