From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Convention for naming of packages
Date: Mon, 13 Feb 2012 16:11:49 +0100
Date: 2012-02-13T16:11:49+01:00 [thread overview]
Message-ID: <t7sfapqcqlwe.1oichs13qxq2h$.dlg@40tude.net> (raw)
In-Reply-To: op.v9mfggrzule2fv@douda-yannick
On Mon, 13 Feb 2012 15:20:30 +0100, Yannick Duchêne (Hibou57) wrote:
> A package defines either, a domain, some relationships, a process, an
> object type (at least to me), possibly some other high level concepts too.
> Let talk about a package defining an object, to keep one single example.
Don't think that singletone is a good idea. In any case, its use is quite
marginal in Ada, if any.
> An object type has methods for creation;
A singletone may not have such method. Semantically, you should not be able
create a singletone explicitly.
> The example with Element_Type which may be a Symbol_Type in some context,
> explains why I said this may be compared to genericity.
>
> Static genericity seems adopted without too much objections in the “crowd”
> of Ada application authors.
Static polymorphism is OK so long the semantics of overloaded entities is
same. The semantics of Element_Type is? Element + type? That looks far too
thin.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2012-02-13 15:12 UTC|newest]
Thread overview: 88+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-09 21:10 Convention for naming of packages Yannick Duchêne (Hibou57)
2012-02-09 21:39 ` Jeffrey Carter
2012-02-10 15:07 ` Yannick Duchêne (Hibou57)
2012-02-10 17:04 ` Georg Bauhaus
2012-02-10 17:09 ` Georg Bauhaus
2012-02-10 17:41 ` Yannick Duchêne (Hibou57)
2012-02-13 9:33 ` Yannick Duchêne (Hibou57)
2012-02-11 0:56 ` Randy Brukardt
2012-02-13 3:09 ` BrianG
2012-02-10 17:21 ` Pascal Obry
2012-02-10 18:03 ` Yannick Duchêne (Hibou57)
2012-02-11 1:06 ` Randy Brukardt
2012-02-11 9:22 ` Simon Wright
2012-02-11 10:17 ` Yannick Duchêne (Hibou57)
2012-02-11 19:24 ` Yannick Duchêne (Hibou57)
2012-02-11 20:06 ` Simon Wright
2012-02-12 9:18 ` Yannick Duchêne (Hibou57)
2012-02-12 10:22 ` Simon Wright
2012-02-13 9:21 ` Yannick Duchêne (Hibou57)
2012-02-12 19:53 ` J-P. Rosen
2012-02-12 21:19 ` Yannick Duchêne (Hibou57)
2012-02-13 8:53 ` Dmitry A. Kazakov
2012-02-13 9:12 ` Yannick Duchêne (Hibou57)
2012-02-13 11:03 ` Dmitry A. Kazakov
2012-02-13 11:57 ` Yannick Duchêne (Hibou57)
2012-02-13 12:30 ` Yannick Duchêne (Hibou57)
2012-02-13 13:07 ` Dmitry A. Kazakov
2012-02-13 14:01 ` Yannick Duchêne (Hibou57)
2012-02-13 14:59 ` Dmitry A. Kazakov
2012-02-13 15:05 ` Yannick Duchêne (Hibou57)
2012-02-13 15:23 ` Dmitry A. Kazakov
2012-02-14 21:02 ` Yannick Duchêne (Hibou57)
2012-02-13 13:01 ` Dmitry A. Kazakov
2012-02-13 13:04 ` Yannick Duchêne (Hibou57)
2012-02-13 13:19 ` Dmitry A. Kazakov
2012-02-13 14:20 ` Yannick Duchêne (Hibou57)
2012-02-13 15:11 ` Dmitry A. Kazakov [this message]
2012-02-13 16:24 ` Yannick Duchêne (Hibou57)
2012-02-13 17:19 ` Dmitry A. Kazakov
2012-02-13 18:10 ` Yannick Duchêne (Hibou57)
2012-02-13 21:02 ` Dmitry A. Kazakov
2012-02-14 9:08 ` Yannick Duchêne (Hibou57)
2012-02-14 13:33 ` Dmitry A. Kazakov
2012-02-14 14:40 ` Yannick Duchêne (Hibou57)
2012-02-14 15:26 ` Dmitry A. Kazakov
2012-02-13 10:45 ` Georg Bauhaus
2012-02-13 10:59 ` Yannick Duchêne (Hibou57)
2012-02-14 10:18 ` Yannick Duchêne (Hibou57)
2012-02-14 11:51 ` Yannick Duchêne (Hibou57)
2012-02-14 22:21 ` Manuel Collado
2012-02-15 4:09 ` Simon Wright
2012-02-15 6:13 ` Niklas Holsti
2012-02-15 11:26 ` Yannick Duchêne (Hibou57)
2012-02-15 11:39 ` Georg Bauhaus
2012-02-15 11:47 ` Georg Bauhaus
2012-02-15 6:30 ` J-P. Rosen
2012-02-15 8:36 ` Simon Wright
2012-02-15 22:56 ` Robert A Duff
2012-02-15 11:27 ` Yannick Duchêne (Hibou57)
2012-02-15 11:43 ` Georg Bauhaus
2012-02-15 12:33 ` Georg Bauhaus
2012-02-15 12:55 ` Yannick Duchêne (Hibou57)
2012-02-15 17:30 ` Georg Bauhaus
2012-02-09 22:33 ` Simon Wright
2012-02-09 22:35 ` J-P. Rosen
2012-02-10 14:38 ` Yannick Duchêne (Hibou57)
2012-02-10 9:47 ` Mart van de Wege
2012-02-10 14:24 ` Yannick Duchêne (Hibou57)
2012-02-13 3:02 ` BrianG
2012-02-10 12:19 ` Brian Drummond
2012-02-10 14:22 ` Yannick Duchêne (Hibou57)
2012-02-10 19:16 ` Jeffrey Carter
2012-02-11 16:31 ` Martin Dowie
2012-02-16 17:44 ` Convention for naming of anything Yannick Duchêne (Hibou57)
2012-02-17 19:46 ` Yannick Duchêne (Hibou57)
2012-02-17 21:53 ` Manuel Collado
2012-02-17 22:12 ` Yannick Duchêne (Hibou57)
2012-02-17 23:52 ` Adam Beneschan
2012-02-18 0:24 ` Yannick Duchêne (Hibou57)
2012-02-18 0:50 ` Yannick Duchêne (Hibou57)
2012-02-18 22:53 ` BrianG
2012-02-19 11:16 ` Simon Wright
2012-03-06 0:36 ` Randy Brukardt
2012-02-18 11:32 ` Georg Bauhaus
2012-02-18 13:02 ` Yannick Duchêne (Hibou57)
2012-02-19 18:07 ` Phil Clayton
2012-02-19 21:53 ` Yannick Duchêne (Hibou57)
2012-02-20 0:21 ` Phil Clayton
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox