home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.lang.c++
- Path: sparky!uunet!munnari.oz.au!metro!extro.ucc.su.OZ.AU!maxtal
- From: maxtal@extro.ucc.su.OZ.AU (John MAX Skaller)
- Subject: Re: Give me safe C++
- Message-ID: <1992Dec21.234459.20895@ucc.su.OZ.AU>
- Sender: news@ucc.su.OZ.AU
- Nntp-Posting-Host: extro.ucc.su.oz.au
- Organization: MAXTAL P/L C/- University Computing Centre, Sydney
- References: <1992Dec6.131757.7448@ucc.su.OZ.AU> <716@ulogic.UUCP> <1992Dec18.134937.14313@bony1.bony.com>
- Date: Mon, 21 Dec 1992 23:44:59 GMT
- Lines: 19
-
- In article <1992Dec18.134937.14313@bony1.bony.com> richieb@bony1.bony.com (Richard Bielak) writes:
- >
- >If you are writing safety critical software - let's say software that
- >controls the brakes in *my* car - I'd rather have you code in PASCAL
- >and run with all the runtime checks on. I don't want my brakes to stop
- >working just because you forgot an ampersand.
- >
- I'd rather have the code
- implemented in a language in which all the run-time checks
- had been optimised away by PROVING they were not required.
-
- What would you have your brakes do if the run-time
- checks detected a program error? I think if you lived
- you would be entitled to sue the manufacturer.
- --
- ;----------------------------------------------------------------------
- JOHN (MAX) SKALLER, maxtal@extro.ucc.su.oz.au
- Maxtal Pty Ltd, 6 MacKay St ASHFIELD, NSW 2131, AUSTRALIA
- ;--------------- SCIENTIFIC AND ENGINEERING SOFTWARE ------------------
-