From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Haskell, anyone?
Date: Mon, 16 Nov 2015 10:36:57 +0100
Date: 2015-11-16T10:36:57+01:00 [thread overview]
Message-ID: <n2c7vh$94n$1@dont-email.me> (raw)
In-Reply-To: <n2b3ph$a8n$1@dont-email.me>
Le 16/11/2015 00:19, Jeffrey R. Carter a écrit :
> 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.
>
Not really. In Pascal, all integer types are compatible. In Ada terms, a
Pascal integer /type/ is really a subtype of Pascal Integer.
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
next prev parent reply other threads:[~2015-11-16 9:36 UTC|newest]
Thread overview: 54+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-11-15 20:42 Haskell, anyone? mockturtle
2015-11-15 20:51 ` Paul Rubin
2015-11-15 20:53 ` Nasser M. Abbasi
2015-11-15 21:50 ` Mark Carroll
2015-11-15 22:11 ` mockturtle
2015-11-15 22:48 ` Nasser M. Abbasi
2015-11-15 23:05 ` Mark Carroll
2015-11-16 4:11 ` Paul Rubin
2015-11-16 5:17 ` Nasser M. Abbasi
2015-11-16 5:48 ` Paul Rubin
2015-11-16 5:59 ` Nasser M. Abbasi
2015-11-16 6:47 ` Paul Rubin
2015-11-16 8:45 ` Simon Wright
2015-11-16 14:38 ` Brian Drummond
2015-11-15 23:19 ` Jeffrey R. Carter
2015-11-16 9:36 ` J-P. Rosen [this message]
2015-11-16 18:14 ` Jeffrey R. Carter
2015-11-16 3:59 ` Paul Rubin
2015-11-16 8:33 ` Dmitry A. Kazakov
2015-11-16 9:33 ` mockturtle
2015-11-16 9:45 ` Paul Rubin
2015-11-16 10:25 ` Hadrien Grasland
2015-11-16 11:19 ` Simon Wright
2015-11-16 11:25 ` Hadrien Grasland
2015-11-16 13:59 ` G.B.
2015-11-16 20:24 ` Jeffrey R. Carter
2015-11-16 23:23 ` Paul Rubin
2015-11-17 8:26 ` Dmitry A. Kazakov
2015-11-17 9:10 ` Mark Carroll
2015-11-17 20:09 ` Dmitry A. Kazakov
2015-11-17 10:49 ` Hadrien Grasland
2015-11-17 12:01 ` G.B.
2015-11-17 16:43 ` Hadrien Grasland
2015-11-17 18:04 ` Paul Rubin
2015-11-17 21:42 ` Hadrien Grasland
2015-11-18 4:36 ` Paul Rubin
2015-11-18 8:48 ` Hadrien Grasland
2015-11-18 9:23 ` Paul Rubin
2015-11-18 10:44 ` Hadrien Grasland
2015-11-18 11:02 ` Dmitry A. Kazakov
2015-11-18 12:41 ` G.B.
2015-11-18 23:06 ` Randy Brukardt
2015-11-19 8:56 ` Hadrien Grasland
2015-11-19 9:19 ` Hadrien Grasland
2015-11-19 21:27 ` Randy Brukardt
2015-11-24 12:03 ` Jacob Sparre Andersen
2015-11-19 7:22 ` Paul Rubin
2015-11-19 9:39 ` Hadrien Grasland
2015-11-17 13:01 ` Thomas Løcke
2015-11-17 16:45 ` Hadrien Grasland
2015-11-18 0:11 ` Paul Rubin
2015-11-18 9:44 ` Hadrien Grasland
2015-12-06 12:59 ` David Thompson
2015-12-07 7:25 ` Hadrien Grasland
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox