From: "Vinzent Hoefler" <nntp-2010-10@t-domaingrabbing.de>
Subject: Re: Do people who use Ada also use ocaml or F#?
Date: Sun, 31 Oct 2010 01:15:03 +0200
Date: 2010-10-31T01:15:03+02:00 [thread overview]
Message-ID: <op.vlev7dje0k3wt7@jellix.jlfencey.com> (raw)
In-Reply-To: iai8uh$qnl$1@tornado.tornevall.net
On Sun, 31 Oct 2010 01:08:19 +0200, Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org> wrote:
> On 10/30/2010 12:41 AM, Dmitry A. Kazakov wrote:
>> On Fri, 29 Oct 2010 15:16:03 -0700, Jeffrey Carter wrote:
>>>
>>> I'd like to see Ada without any features for programming by extension.
>>
>> That is not same. For all type extension does not lock your design as
>> generics do. Once generic, forever generic.
>
> Type extension is not the only feature for programming by extension in Ada.
> Programming by extension emphasizes ease of writing over ease of reading,
> violating one of Ada's explicit design goals.
Could you please give an example? I can't follow you here.
Vinzent.
--
There is no signature.
next prev parent reply other threads:[~2010-10-30 23:15 UTC|newest]
Thread overview: 78+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-10-29 2:27 Do people who use Ada also use ocaml or F#? Chad R. Meiners
2010-10-29 2:58 ` Yannick Duchêne (Hibou57)
2010-10-30 1:32 ` Chad R. Meiners
2010-10-30 2:22 ` Yannick Duchêne (Hibou57)
2010-10-30 3:44 ` Chad R. Meiners
2010-10-30 12:15 ` Georg Bauhaus
2010-10-30 12:14 ` Florian Weimer
2010-10-30 12:46 ` Yannick Duchêne (Hibou57)
2010-10-30 13:59 ` Florian Weimer
2010-10-30 14:12 ` Niklas Holsti
2010-10-30 18:58 ` Yannick Duchêne (Hibou57)
2010-10-30 19:20 ` Georg Bauhaus
2010-10-30 23:11 ` Jeffrey Carter
2010-10-31 15:13 ` Florian Weimer
2010-10-29 7:53 ` Dmitry A. Kazakov
2010-10-29 17:10 ` Yannick Duchêne (Hibou57)
2010-10-29 19:10 ` Dmitry A. Kazakov
2010-10-29 22:16 ` Jeffrey Carter
2010-10-30 0:01 ` Vinzent Hoefler
2010-10-30 2:07 ` Chad R. Meiners
2010-10-30 23:02 ` Jeffrey Carter
2010-10-30 23:30 ` Yannick Duchêne (Hibou57)
2010-10-31 2:31 ` Jeffrey Carter
2010-10-31 2:58 ` Yannick Duchêne (Hibou57)
2010-10-31 10:57 ` J-P. Rosen
2010-10-31 11:04 ` Yannick Duchêne (Hibou57)
2010-10-31 16:58 ` Jeffrey Carter
2010-11-01 17:46 ` Colin Paul Gloster
2010-11-01 17:03 ` Vinzent Hoefler
2010-11-03 13:30 ` Colin Paul Gloster
2010-11-03 19:16 ` Yannick Duchêne (Hibou57)
2010-10-30 7:41 ` Dmitry A. Kazakov
2010-10-30 23:08 ` Jeffrey Carter
2010-10-30 23:15 ` Vinzent Hoefler [this message]
2010-10-31 2:36 ` Jeffrey Carter
2010-10-31 3:01 ` Yannick Duchêne (Hibou57)
2010-10-31 4:52 ` Jeffrey Carter
2010-10-31 5:12 ` Yannick Duchêne (Hibou57)
2010-10-31 7:38 ` Dmitry A. Kazakov
2010-10-31 8:03 ` Yannick Duchêne (Hibou57)
2010-10-31 8:14 ` Dmitry A. Kazakov
2010-10-31 11:00 ` J-P. Rosen
2010-10-31 11:17 ` Dmitry A. Kazakov
2010-10-31 12:51 ` J-P. Rosen
2010-10-31 15:07 ` Dmitry A. Kazakov
2010-10-31 15:32 ` Yannick Duchêne (Hibou57)
2010-10-31 20:00 ` Dmitry A. Kazakov
2010-10-31 20:04 ` Yannick Duchêne (Hibou57)
2010-10-31 20:19 ` Dmitry A. Kazakov
2010-10-31 18:23 ` Jeffrey Carter
2010-10-31 18:02 ` Jeffrey Carter
2010-10-30 2:07 ` Chad R. Meiners
2010-10-30 2:29 ` Yannick Duchêne (Hibou57)
2010-10-30 3:55 ` Chad R. Meiners
2010-10-30 7:49 ` Dmitry A. Kazakov
2010-10-30 12:18 ` Florian Weimer
2010-10-30 12:59 ` Dmitry A. Kazakov
2010-10-30 19:12 ` Yannick Duchêne (Hibou57)
2010-10-30 19:37 ` Dmitry A. Kazakov
2010-10-30 20:04 ` Yannick Duchêne (Hibou57)
2010-10-30 20:54 ` Dmitry A. Kazakov
2010-10-30 21:53 ` Yannick Duchêne (Hibou57)
2010-10-31 8:12 ` Dmitry A. Kazakov
2010-10-31 9:49 ` Yannick Duchêne (Hibou57)
2010-10-31 21:46 ` Shark8
2010-11-01 9:32 ` Dmitry A. Kazakov
2010-11-01 10:17 ` Florian Weimer
2010-11-05 12:46 ` Robert A Duff
2010-11-05 16:39 ` Dmitry A. Kazakov
2010-11-06 17:22 ` Stephen Leake
2010-11-06 20:56 ` Robert A Duff
2010-11-06 23:03 ` Dmitry A. Kazakov
2010-11-06 23:41 ` Yannick Duchêne (Hibou57)
2010-11-07 0:18 ` Yannick Duchêne (Hibou57)
2010-11-07 11:51 ` Simon Wright
2010-11-07 12:14 ` Dmitry A. Kazakov
2010-11-07 3:05 ` Chad R. Meiners
2010-11-01 11:44 ` Brian Drummond
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox