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!mx02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: I'm facing an issue with: call to abstract procedure must be
 dispatching
Date: Wed, 9 Dec 2015 11:53:43 +0100
Organization: A noiseless patient Spider
Message-ID: <n49134$vba$1@dont-email.me>
References: <8bc7fd76-f00a-4eea-9715-470af028fc84@googlegroups.com>
 <1krm4xun4e4ny.jmh9kvf6s0a9.dlg@40tude.net>
 <12dc7aea-933d-4271-95bd-10df808917e4@googlegroups.com>
 <5hfb2q9imjfu.zs3xp9gxw0d3.dlg@40tude.net>
 <5788b259-8886-4ee2-8c3d-7799abfd840e@googlegroups.com>
 <rt3n7ox7u8lf$.1me9jljeld3bs$.dlg@40tude.net>
 <14acd8b0-a5e9-40fd-b7cc-d319f914d507@googlegroups.com>
 <vjaapo5l3d0f.19ppdnxybx3i4.dlg@40tude.net>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 9 Dec 2015 10:51:16 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
	logging-data="32106"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+lIaw8N+LRsYoXOQXF6eFhk0weyfLlJsk="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0)
 Gecko/20100101 Thunderbird/38.4.0
In-Reply-To: <vjaapo5l3d0f.19ppdnxybx3i4.dlg@40tude.net>
Cancel-Lock: sha1:YeP6blvk8d4lQrp68WBrh7WZqmI=
Xref: news.eternal-september.org comp.lang.ada:28731
Date: 2015-12-09T11:53:43+01:00
List-Id: <comp.lang.ada>

On 08.12.15 22:08, Dmitry A. Kazakov wrote:

> There are people in c.l.a who believe in procedural decomposition and
> inference from the type structure. It is incompatible with fundamental
> Ada's principles of strong typing and separation of interface and
> implementation. But that is my opinion.

There are those in c.l.ada, including Dmitry Kazakov ;-) ;-) ;-),
who suggested that the parameter profile of a subprogram can
be seen as a type.  For practical matters in single programs,
this looks perfectly fine to me. Considering, if everything in
a program is a reusable building block, when is there any use?

(Moreover, what is the type of constructs that do actually reuse
if everything became an Ada type?)