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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Haskell, anyone?
Date: Sun, 15 Nov 2015 16:19:23 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <n2b3ph$a8n$1@dont-email.me>
References: <c6ac0d2f-52af-4aa6-ba6f-34f61e3c93e8@googlegroups.com>
 <dd1ada14-493d-44fc-a081-3a69515f2702@googlegroups.com>
 <n2b23f$aom$1@speranza.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 15 Nov 2015 23:17:06 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="caa759af2a9c666aec02942f6fe5abd6";
	logging-data="10519"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19BaQnU8k2eKLks0uSNq8Clr5axUBfsKoM="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.3.0
In-Reply-To: <n2b23f$aom$1@speranza.aioe.org>
Cancel-Lock: sha1:Q6d6C9f/jpiRDyXMZ6xI1E58Apo=
Xref: news.eternal-september.org comp.lang.ada:28379
Date: 2015-11-15T16:19:23-07:00
List-Id: <comp.lang.ada>

On 11/15/2015 03:48 PM, Nasser M. Abbasi wrote:
> 
> This is for me what makes Ada for me. One can define a type
> that matche the range of the physical quantity being modeled.
> This helps catch many errors.

One could do this with Pascal in 1970.

-- 
Jeff Carter
"Apart from the sanitation, the medicine, education, wine,
public order, irrigation, roads, the fresh water system,
and public health, what have the Romans ever done for us?"
Monty Python's Life of Brian
80