From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,9e7db243dfa070d7
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!a36g2000yqc.googlegroups.com!not-for-mail
From: "Chad  R. Meiners" <chad.rmeiners@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Do people who use Ada also use ocaml or F#?
Date: Fri, 29 Oct 2010 19:07:06 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <83074951-f661-4ae2-87f2-10c359ea6471@a36g2000yqc.googlegroups.com>
References: 
 <b17dc7a8-7f8e-46b7-942c-b08ba83ce8fa@j25g2000yqa.googlegroups.com>
 <gt9eaeq2y4pc$.11t5wghh3e8jh$.dlg@40tude.net>
 <iafhfu$4kh$1@tornado.tornevall.net>
 <op.vlc3pkzd0k3wt7@jellix.jlfencey.com>
NNTP-Posting-Host: 173.48.246.55
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1288404426 25256 127.0.0.1 (30 Oct 2010 02:07:06
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 30 Oct 2010 02:07:06 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: a36g2000yqc.googlegroups.com; posting-host=173.48.246.55;
 posting-account=XRGbKgoAAACag8f1Ww4XGf81DDZtyfbX
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US)
 AppleWebKit/534.7 (KHTML,
 like Gecko) Chrome/7.0.517.41 Safari/534.7,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:15923
Date: 2010-10-29T19:07:06-07:00
List-Id: <comp.lang.ada>

On Oct 29, 8:01=A0pm, "Vinzent Hoefler" <nntp-2010...@t-
domaingrabbing.de> wrote:
> On Sat, 30 Oct 2010 00:16:03 +0200, Jeffrey Carter <spam.jrcarter....@spa=
m.not.acm.org> wrote:
> > On 10/29/2010 12:53 AM, Dmitry A. Kazakov wrote:
>
> >> In any case I would like to see Ada without generics, which cause a me=
ssy
> >> design, are fundamentally non-testable and unmaintainable.
>
> > I'd like to see Ada without any features for programming by extension.
>
> Hmm, "pragma Restrictions (No_Dispatch)" is not good enough?
>
> Vinzent.
>
> --
> There is no signature.

Being able to disable a feature is not the same as denying everyone
the feature  ;-p