From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Simple example on interfaces
Date: Tue, 26 Jan 2021 12:53:19 +0100 [thread overview]
Message-ID: <ruovre$1sid$1@gioia.aioe.org> (raw)
In-Reply-To: e3f1af79-d957-4938-83fb-0f1c32a98444n@googlegroups.com
On 2021-01-26 12:15, AdaMagica wrote:
> Dmitry A. Kazakov schrieb am Dienstag, 26. Januar 2021 um 11:25:41 UTC+1:
>> How do I
>> spell in the language the fact that Long_Integer is an integer? If
>> Integer is an integer and Long_Integer is an integer can I write a
>> program that works on integers? Can it be the *same* program for each
>> instance of? Simple, natural questions.
>
> This is what generics are for (since Ada 83).
Right, generics is a form of polymorphism (static one). Generics have
interfaces and these form classes.
The problem with generics (static polymorphism which also includes
overloading) is that they answer no to the last question. There cannot
be same program because there is no class-wide (polymorphic) objects
from the generics' class.
P.S. Comparing generics to overloading, generics offer some re-use, and
some degree of formalization at the cost of producing huge mess, while
overloading does none.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2021-01-26 11:53 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-01-25 16:08 Simple example on interfaces Mario Blunk
2021-01-25 16:41 ` Dmitry A. Kazakov
2021-01-25 17:51 ` Mario Blunk
2021-01-25 22:06 ` Dmitry A. Kazakov
2021-01-26 7:33 ` G.B.
2021-01-26 8:07 ` Dmitry A. Kazakov
2021-01-26 8:17 ` Mario Blunk
2021-01-26 8:55 ` Dmitry A. Kazakov
2021-01-26 9:37 ` J-P. Rosen
2021-01-26 10:25 ` Dmitry A. Kazakov
2021-01-26 11:15 ` AdaMagica
2021-01-26 11:53 ` Dmitry A. Kazakov [this message]
2021-01-26 16:46 ` AdaMagica
2021-01-26 19:44 ` Dmitry A. Kazakov
2021-01-26 20:04 ` Shark8
2021-01-26 21:34 ` Dmitry A. Kazakov
2021-01-27 3:11 ` Randy Brukardt
2021-01-27 22:51 ` Shark8
2021-01-30 8:33 ` Randy Brukardt
2021-01-27 3:09 ` Randy Brukardt
2021-01-27 8:05 ` Dmitry A. Kazakov
2021-01-26 10:02 ` Stephen Leake
2021-01-25 17:00 ` Jeffrey R. Carter
2021-01-27 1:48 ` philip...@gmail.com
2021-01-27 8:06 ` Dmitry A. Kazakov
2021-01-27 3:36 ` Randy Brukardt
2021-01-27 23:04 ` Shark8
2021-01-25 19:05 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox