From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Types with physical dimension
Date: 28 Sep 1994 09:59:36 -0400
Date: 1994-09-28T09:59:36-04:00 [thread overview]
Message-ID: <36bss8$79@gnat.cs.nyu.edu> (raw)
In-Reply-To: GRAHAM.94Sep27181841@canopus.clsi.COM
"What do Ada programmers do to guard against dimensional errors"
Probably not much, because in practice, at least in my experience, such
errors are rare, although they are an obvious target for theoretical
discussions.
Using private types is of course the appropriate way to do things in
Ada 83. In Ada 9X, abstract operations can be used to eliminate unwanted
operations.
next prev parent reply other threads:[~1994-09-28 13:59 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
1994-09-27 22:18 Types with physical dimension Paul Graham
1994-09-28 13:59 ` Robert Dewar [this message]
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
-- 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-28 19:28 Paul Pukite
[not found] <GRAHAM.94Sep27181841@canopus.clsi.com>
1994-09-28 17:36 ` 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
1994-10-03 4:37 ` Robert Dewar
1994-09-29 13:37 ` Tucker Taft
1994-10-03 4:40 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox