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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Oberon and Wirthian languages
Date: Sat, 19 Apr 2014 20:06:46 +0200
Organization: Ada @ Home
Message-ID: <op.xekslkhbule2fv@cardamome>
References: <1ljwj8f.1wqbhvuabsdw1N%csampson@inetworld.net>
 <51c7d6d4-e3be-44d5-a4ce-f7e875345588@googlegroups.com>
 <li9g34$9q8$1@dont-email.me> <%J32v.70539$kp1.45343@fx14.iad>
 <lic17o$re4$1@dont-email.me> <8761m535e4.fsf_-_@ludovic-brenta.org>
 <liuc5i$tqc$1@dont-email.me>
NNTP-Posting-Host: Y10Rmk3cmxajnL+x3h8IkQ.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/12.16 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:19438
Date: 2014-04-19T20:06:46+02:00
List-Id: <comp.lang.ada>

Le Sat, 19 Apr 2014 19:35:46 +0200, Jeffrey Carter  =

<spam.jrcarter.not@spam.not.acm.org> a =C3=A9crit:

> On 04/19/2014 04:50 AM, Ludovic Brenta wrote:
>>
>> So, Oberon-14 or whatever its name is should not only reinstate
>> subranges but also allow the definition of incompatible scalar types.=

>> If it did support all of the desirable features above then it would
>> effectively almost become Ada :)
>
> That would make the language unsuitable for its intended purpose of  =

> replacing C for S/W like OpenSSL.
>
> My experience (unfortunately on more than one example) of Ada designed=
  =

> and written by coders is that they eschew user-defined numeric types a=
nd  =

> numeric subtypes. They pick a few numeric types, predefined if at all =
 =

> possible, and use them for everything, just like C.

An efficient defense against this mistake is AdaControl.

Another way is to explain it's not just about check and that's as much  =

about expressiveness.


-- =

=E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1]
=E2=80=9CStructured Programming supports the law of the excluded muddle.=
=E2=80=9D [1]
[1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers=
ity