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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: If not Ada, what else...
Date: Tue, 21 Jul 2015 15:55:26 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <momii4$idd$1@dont-email.me>
References: <iomd56$c1s$1@dont-email.me>
 <65061686-5c8f-433b-9b11-9e228298158e@googlegroups.com>
 <87k2u96jms.fsf@jester.gateway.sonic.net>
 <06f8a6f9-d219-4d40-b9ac-8518e93839bd@googlegroups.com>
 <87y4io63jy.fsf@jester.gateway.sonic.net>
 <7a29d3e9-d1bd-4f4a-b1a6-14d3e1a83a4d@googlegroups.com>
 <87mvz36fen.fsf@jester.gateway.sonic.net>
 <2215b44f-8a89-47c6-a4c4-52b74d2dac45@googlegroups.com>
 <f5b22bff-4191-4478-82ed-181e024c5bcd@googlegroups.com>
 <mnqs6l$mdm$2@dont-email.me>
 <9e492c82-868d-43d3-a18a-38274400e337@googlegroups.com>
 <c5e815ac-8987-44cf-b66c-c25403887e39@googlegroups.com>
 <40184feb-4053-4ac3-8eaa-c3bd9cd8a77c@googlegroups.com>
 <10272577-945f-4682-85bc-8ad47f3653ae@googlegroups.com>
 <87si8i81k2.fsf@atmarama.net>
 <e3023a92-0087-490c-8d51-daccf89a309d@googlegroups.com>
 <d17drnF4b0qU1@mid.individual.net> <lymvypjqdq.fsf@pushface.org>
 <1gsux33dqvjbp$.h0prf7p7g2vn.dlg@40tude.net> <lyegk1jk41.fsf@pushface.org>
 <5z82vu617j2h$.ls4rgwlc79r4.dlg@40tude.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 21 Jul 2015 22:53:58 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="a3855fbfe1a666be9aefba0563039ed5";
	logging-data="18861"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19gGAmS0Gv2mHAAjisQMZy4sPeg9AGjheQ="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.1.0
In-Reply-To: <5z82vu617j2h$.ls4rgwlc79r4.dlg@40tude.net>
X-Mozilla-News-Host: news://freenews.netfront.net
Cancel-Lock: sha1:/99uCY1z/A9PDiLAWTiNXSGO4uk=
Xref: news.eternal-september.org comp.lang.ada:26947
Date: 2015-07-21T15:55:26-07:00
List-Id: <comp.lang.ada>

On 07/21/2015 02:51 PM, Dmitry A. Kazakov wrote:
> On Tue, 21 Jul 2015 22:06:54 +0100, Simon Wright wrote:
> 
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>>>
>>> Operations do not belong to types.
>>
>> Huh?
> 
> function "*" (X : Matrix; Y : Vector) return Vector;
> 
> To which type does "*" belong?

A concept of programming by extension is that operations on extensible types do
belong to a type. In Ada terms, the operation belongs to the type of the
"controlling parameter". In many languages, the operation is contained in the
type declaration as in the suggested syntax, and the controlling parameter is
implicit.

Since you seem to think that every type should be extensible and all programming
should be by extension, I'd think this concept would be ingrained with you.

-- 
Jeff Carter
"I didn't squawk about the steak, dear. I
merely said I didn't see that old horse
that used to be tethered outside here."
Never Give a Sucker an Even Break
103