From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_40 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 16 Jun 93 20:59:31 GMT From: rational.com!pelton!rlk@uunet.uu.net (Robert Kitzberger) Subject: Re: Cost of Ada (Was: How to Make Ada more widely used?) Message-ID: List-Id: lewin@sanders.com (Stu Lewin) writes: >For example, there are tools available now that provide most of the Ada >type checking at compile time and range checking at run time. ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Range checking? Do you mean checking the range of the predefined types, or can you actually annotate your C/C++ code to include range constraints on ints, for example? I realize that in C++ you can define your own scalar types with range constraints (as classes with re-defined operators), but I have yet to see some C++ code that actually does that -- everybody just uses ints. Just curious (and no, this isn't a C flame ;-) .Bob. -- Bob Kitzberger Internet: rlk@rational.com Rational, Grass Valley, CA CompuServe: 70743,1550 "Man is a rational animal who always loses his temper when he is called upon to act in accordance with the dictates of reason." -- Oscar Wilde