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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	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-7-bit
Path: 
 g2news2.google.com!news4.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!193.201.147.68.MISMATCH!feeder.news-service.com!94.75.214.39.MISMATCH!aioe.org!news.tornevall.net!.POSTED!not-for-mail
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Do people who use Ada also use ocaml or F#?
Date: Sat, 30 Oct 2010 16:08:19 -0700
Organization: TornevallNET - http://news.tornevall.net
Message-ID: <iai8uh$qnl$1@tornado.tornevall.net>
References: 
 <b17dc7a8-7f8e-46b7-942c-b08ba83ce8fa@j25g2000yqa.googlegroups.com>
 <gt9eaeq2y4pc$.11t5wghh3e8jh$.dlg@40tude.net>
 <iafhfu$4kh$1@tornado.tornevall.net>
 <1mjd3udlxgzp3$.1abzmwnslu9ym$.dlg@40tude.net>
NNTP-Posting-Host: 1bd99c13b24ee4f34c265d92b84f6ca7
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: bfffa37f5d82804f021dcd4d6f1d26c5
X-Complaints-To: abuse@tornevall.net
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.9.1.15) Gecko/20101027 Thunderbird/3.0.10
X-Complaints-Language: Spoken language is english or swedish - NOT ITALIAN,
 FRENCH, GERMAN OR ANY OTHER LANGUAGE!
In-Reply-To: <1mjd3udlxgzp3$.1abzmwnslu9ym$.dlg@40tude.net>
X-UserIDNumber: 1738
X-Validate-Post: 
 http://news.tornevall.net/validate.php?trace=bfffa37f5d82804f021dcd4d6f1d26c5
X-Complaints-Italiano: Non abbiamo padronanza della lingua italiana - se
 mandate una email scrivete solo in Inglese, grazie
X-Posting-User: 0243687135df8c4b260dd4a9a93c79bd
Xref: g2news2.google.com comp.lang.ada:15967
Date: 2010-10-30T16:08:19-07:00
List-Id: <comp.lang.ada>

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.

-- 
Jeff Carter
"Blessed are they who convert their neighbors'
oxen, for they shall inhibit their girth."
Monty Python's Life of Brian
83