From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Do people who use Ada also use ocaml or F#?
Date: Sat, 30 Oct 2010 16:02:12 -0700
Date: 2010-10-30T16:02:12-07:00 [thread overview]
Message-ID: <iai8j8$q8l$1@tornado.tornevall.net> (raw)
In-Reply-To: <83074951-f661-4ae2-87f2-10c359ea6471@a36g2000yqc.googlegroups.com>
On 10/29/2010 07:07 PM, Chad R. Meiners wrote:
> On Oct 29, 8:01 pm, "Vinzent Hoefler"<nntp-2010...@t-
> domaingrabbing.de> wrote:
>> On Sat, 30 Oct 2010 00:16:03 +0200, Jeffrey Carter<spam.jrcarter....@spam.not.acm.org> wrote:
>>
>>> I'd like to see Ada without any features for programming by extension.
>>
>> Hmm, "pragma Restrictions (No_Dispatch)" is not good enough?
>
> Being able to disable a feature is not the same as denying everyone
> the feature ;-p
Nor is dispatching all of programming by extension in Ada.
More important is the effect of having features that violate a stated design
goal of the language and are the source of massive misunderstanding (evidenced
by the numerous posts here by people trying to use the features but not
understanding them). The language is more complex and compilers take more effort
and have more errors as a result.
--
Jeff Carter
"Blessed are they who convert their neighbors'
oxen, for they shall inhibit their girth."
Monty Python's Life of Brian
83
next prev parent reply other threads:[~2010-10-30 23:02 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 [this message]
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
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