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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,267eec8ad557a7d0
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: ARIANE-5 Failure (DC-X works)
Date: 1996/06/14
Message-ID: <dewar.834725454@schonberg>#1/1
X-Deja-AN: 160362008
references: <834097751.22632.0@assen.demon.co.uk> <31B7A88D.446B@lri.fr>
 <4p9m1j$pm2@dfw.dfw.net> <31B84662.7930@lmtas.lmco.com>
 <4pd540$rl2@Starbase.NeoSoft.COM> <4pd7qc$kp2@dfw-ixnews4.ix.netcom.com>
 <dewar.834287759@schonberg> <31BC0835.5930@lmtas.lmco.com>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-06-14T00:00:00+00:00
List-Id: <comp.lang.ada>


Ken Garlington said

"I don't know if it is fair to say that generating code in Ada vs. C is
"irrelevant" in this context, since you will still get the benefits of
strong typing, etc. when the code is compiled. On the other hand, assuming
that MatrixX eliminates some of these errors during the control law design,"

Surely MatrixX cannot generate type incorrect code -- I can't see that
this comment is relevant. When generating code, many of the features that
are critical for normal programming become irrelevant or at any rate
much less important.