From: jrs@merlin.dclf.npl.co.uk (Dr John Stockton)
Subject: Re: Types with physical dimension
Date: Fri, 30 Sep 1994 10:17:54
Date: 1994-09-30T10:17:54+00:00 [thread overview]
Message-ID: <jrs.1104.000A4CBC@merlin.dclf.npl.co.uk> (raw)
In-Reply-To: 36e7sf$19ql@info2.rus.uni-stuttgart.de
In article <36e7sf$19ql@info2.rus.uni-stuttgart.de> ucaa2385@iris3.csv.ica.uni-stuttgart.de (Peter Hermann) writes:
>Robert Dewar (dewar@cs.nyu.edu) wrote:
>: "Of course it would be nice to have more direct support for units"
>Today, we are able to prevent an expression like
>meter times meter giving meter. (you may substitute inch for meter :-)
>We may allow meter times meter giving an_area_type.
I missed the beginning of this. FYI, there was an article in European Journal
of Physics earlier this decade AFAIR about a language, AMPERE?, which had
types including physical dimensions for compile-time checking, and run-time
limit (upper- & lower- bound) arithmetic.
As a metrologist, I would find both very desirable, though I'd need
"statistical" rather than "worst-case" arithmetic - and have implemented this
to some extent in Borland Pascal.
--
Regards, John Stockton.
JRS@newton.npl.co.uk from off-site, or header address should now work.
National Physical Laboratory, Teddington, Middlesex, TW11 0LW, UK
Direct Phone +44 181-943 6087, Nearby Fax +44 181-943 7138
next prev parent reply other threads:[~1994-09-30 10:17 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <GRAHAM.94Sep27181841@canopus.clsi.com>
1994-09-28 17:36 ` Types with physical dimension William Brennan
1994-09-28 21:41 ` Tucker Taft
1994-09-29 4:11 ` Robert Dewar
1994-09-29 11:19 ` Peter Hermann
1994-09-30 10:17 ` Dr John Stockton [this message]
1994-10-03 4:37 ` Robert Dewar
1994-09-29 13:37 ` Tucker Taft
1994-10-03 4:40 ` Robert Dewar
1994-09-28 19:28 Paul Pukite
-- strict thread matches above, loose matches on Subject: below --
1994-09-28 10:55 Simtel20 Transfer
1994-09-28 18:56 ` Mark A Biggar
1994-10-04 2:06 ` lmiller
1994-09-27 22:18 Paul Graham
1994-09-28 13:59 ` Robert Dewar
1994-09-30 2:06 ` R_Tim_Coslet
1994-10-03 17:31 ` Stephen A. Leake
1994-10-04 11:51 ` Robert I. Eachus
1994-10-04 19:45 ` Mark A Biggar
[not found] ` <CxBBx8.7L@irvine.com>
1994-10-13 22:15 ` gamache
1994-10-12 3:43 ` Matt Kennel
1994-10-04 14:56 ` Robert Dewar
1994-10-05 14:53 ` Bob Gilbert
1994-10-05 8:38 ` Jean-Pierre Rosen
1994-10-05 10:35 ` Stephen J Bevan
1994-10-05 13:17 ` Jean-Pierre Rosen
1994-10-05 15:48 ` Norman H. Cohen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox