From: Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>
Subject: Re: The "()" operator revisited.
Date: Wed, 14 Jan 2004 17:16:13 +0100
Date: 2004-01-14T17:16:13+01:00 [thread overview]
Message-ID: <p8pa00held1ku2pglques5jj9tb5oq3id6@4ax.com> (raw)
In-Reply-To: mailman.5.1074093780.303.comp.lang.ada@ada-france.org
On Wed, 14 Jan 2004 15:22:43 -0000, "amado.alves"
<amado.alves@netcabo.pt> wrote:
>"Templates are for generic programming...."
>
> Generics is the poor man's dynamic program construction.
Generic programming is designing programs valid for many types. This
is not necessarily dynamic. It is rather difficult to call templates
dynamic, at least in the sense of run-time, late binding.
> Ada generics are in the tradition of strong compile-time type checking.
> I dream of unifying strong checking with
> dynamic construction. Intentional programming perhaps. Maybe that can be
> done playing with ASIS. Anyway types as objects/values would be required I think.
Yes, this could be interesting. However in my view one of the problems
with generics is their power. I like to compare them with gotos. Goto,
the Great is also much more powerful than a faint IF-THEN-ELSE...
It seems that you wish to create something even more powerful than
templates. That's a wrong way, IMO.
--
Regards,
Dmitry A. Kazakov
www.dmitry-kazakov.de
next prev parent reply other threads:[~2004-01-14 16:16 UTC|newest]
Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-01-14 15:22 The "()" operator revisited amado.alves
2004-01-14 16:16 ` Dmitry A. Kazakov [this message]
-- strict thread matches above, loose matches on Subject: below --
2004-01-13 17:53 amado.alves
2004-01-14 9:09 ` Dmitry A. Kazakov
2004-01-14 12:55 ` Georg Bauhaus
2004-01-14 15:05 ` Dmitry A. Kazakov
2004-01-15 1:21 ` Georg Bauhaus
2004-01-15 8:50 ` Dmitry A. Kazakov
2004-01-15 11:09 ` Georg Bauhaus
2004-01-15 13:23 ` Dmitry A. Kazakov
2004-01-17 6:26 ` Robert I. Eachus
2004-01-14 13:04 ` Hyman Rosen
2004-01-13 17:46 amado.alves
2004-01-13 22:21 ` Randy Brukardt
2004-01-12 17:53 Frank J. Lhota
2004-01-12 18:38 ` Frank J. Lhota
2004-01-12 22:26 ` Robert A Duff
2004-01-13 16:29 ` Frank J. Lhota
2004-01-13 9:24 ` Dmitry A. Kazakov
2004-01-13 16:44 ` Frank J. Lhota
2004-01-13 17:13 ` Hyman Rosen
2004-01-13 22:27 ` Randy Brukardt
2004-01-14 2:30 ` Stephen Leake
2004-01-14 9:04 ` Dmitry A. Kazakov
2004-01-17 0:15 ` Kenneth Almquist
2004-01-17 21:15 ` Robert A Duff
2004-01-19 10:25 ` Dmitry A. Kazakov
2004-01-13 13:13 ` Marin David Condic
2004-01-13 17:38 ` Warren W. Gay VE3WWG
2004-01-13 19:09 ` Robert A Duff
2004-01-15 17:30 ` Warren W. Gay VE3WWG
2004-01-15 18:11 ` Robert A Duff
2004-01-15 19:36 ` tmoran
2004-01-15 20:35 ` Robert A Duff
2004-01-17 5:48 ` Robert I. Eachus
2004-01-16 3:11 ` Mark A. Biggar
2004-01-16 13:28 ` Hyman Rosen
2004-01-16 16:19 ` Robert A Duff
2004-01-16 18:09 ` Warren W. Gay VE3WWG
2004-01-16 13:56 ` Frank J. Lhota
2004-01-16 16:14 ` Robert A Duff
2004-01-16 21:29 ` Frank J. Lhota
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox