comp.lang.ada
 help / color / mirror / Atom feed
From: "Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>
Subject: Re: Language support for  flexible handling of system-detected errors.
Date: Thu, 4 Apr 2002 10:18:22 -0500
Date: 2002-04-04T15:18:23+00:00	[thread overview]
Message-ID: <a8hqrv$r83$1@nh.pace.co.uk> (raw)
In-Reply-To: a8h129$cr6$02$1@news.t-online.com

"Ingo Marks" <adv@region-nord.de> wrote in message
news:a8h129$cr6$02$1@news.t-online.com...
>
> The question is: Do you want to write comfortable software or do you want
> to write software comfortably?
>
Any reason it can't be both?


> Of course, MSVC++ is a comfortable environment for writing C++
> applications. But are the applications you write comfortable for your
> customer?
>
Reliable, usable, functional and desirable programs can be written in any
language - including C++ using MSVC++. Its just more work getting them there
than it might be using Ada.


> I think it is better to write reliable software with Ada and "simple"
tools
> like Xemacs editor and some Ada library than to use a pretty development
> environment which produces results of questionable quality.
>
"Pretty development environment" does not of necessity equate to
"questionable quality" of the end product. Certainly many things can be
accomplished with a simple editor and a command line compiler. That doesn't
guarantee "high quality" any more so than a spiffy IDE and large class
library is going to mean "low quality". No environment can make you write
good code.


> I have developed for many years in many programming languages, but Ada is
> the first language which helped me to a) reduce my programming time (about
> half compared to C++) and b) to produce really realiable code. I don't
like
> to use a compiler which I don't know to be error free or not. A computer
> science professor told me, that there is _no_ 100% error free C++ compiler
> in the world!
>
I will readily agree that (all other things being equal) Ada programming
speeds development over C/C++ programming. I've seen enough data to convince
me of that. The problem is that some given C++ (or Java or other language)
development environment that provides you with a large library of code to
leverage can quickly eliminate any advantage Ada has if the Ada environment
doesn't have a similar library. All other things are seldom equal. :-)

What makes you think that there are any 100% error free Ada compilers out
there? :-) Its impossible to prove that there are no errors in a compiler or
any other sufficiently complex piece of software. And yes, I've encountered
errors in every Ada compiler I've ever used. It might be the case that Ada
compilers - having run through validation - at least fully implement the
language and do so in a consistent way. It might be the case that C++
compilers don't adhere to the definition of C++ because they have not run
through a similar validation process. But that's a different thing than not
having any errors.

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com






  reply	other threads:[~2002-04-04 15:18 UTC|newest]

Thread overview: 96+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <j8R78.48$Eh5.268@castor.casema.net>
     [not found] ` <f6013729.0202260913.59286c63@posting.google.com>
     [not found]   ` < <jbTm8.94778$702.21482@sccrnsc02>
     [not found]     ` <a7hkfe$bbt$1@pegasus.csx.cam.ac.uk>
     [not found]       ` <a7htp0$rh429@news.kvaerner.com>
2002-03-24  0:16         ` Language support for flexible handling of system-detected errors Adam Tissa
2002-03-24  0:46           ` Jim Rogers
2002-03-24  6:45             ` Tissa Adam
2002-03-24 19:58               ` Rodrigo Cunha
2002-03-25 10:17             ` Tim Shoppa
2002-03-26 23:29             ` Kent Paul Dolan
2002-03-24 11:38           ` Simon Wright
2002-03-24 12:42           ` Marc A. Criley
2002-03-24 14:56             ` Larry Kilgallen
2002-03-24 18:59               ` Steve Doiel
2002-03-26 22:42                 ` Adam Tissa
2002-03-27  6:31                   ` Simon Wright
2002-03-26 22:42                 ` Cost of Ada support Adam Tissa
2002-03-26 23:06                   ` Mark Johnson
2002-03-27  0:17                     ` Marin David Condic
2002-03-27 22:14                       ` Wes Groleau
2002-03-28 15:30                         ` Marin David Condic
2002-03-29  3:29                           ` Wes Groleau
2002-03-29 14:39                             ` Marin David Condic
2002-03-27 12:13                     ` Larry Kilgallen
2002-03-27  9:23                   ` Pascal Obry
2002-03-24 13:28           ` Language support for flexible handling of system-detected errors chris.danx
2002-03-25 12:32             ` Georg Bauhaus
2002-03-24 14:52           ` Paul Repacholi
2002-03-24 22:35           ` Greg Bek
2002-03-26  6:48             ` Richard Riehle
2002-03-25 10:42           ` Tarjei T. Jensen
2002-03-26 16:27           ` Wes Groleau
2002-03-28  3:10             ` Maynard Handley
2002-03-28  5:17               ` Andrew W. Reynolds
2002-03-28 15:03               ` Stefan Monnier <foo@acm.com>
2002-03-28 15:54                 ` Nick Maclaren
2002-03-28 16:19                 ` hack
2002-03-28 17:22                   ` Nick Maclaren
2002-03-28 18:49                     ` Marin David Condic
2002-03-29 10:04                       ` Nick Maclaren
2002-03-29 14:20                       ` Wes Groleau
2002-03-29 15:09                         ` Marin David Condic
2002-04-01 14:28                           ` Wes Groleau
2002-04-01 16:29                             ` Marin David Condic
2002-04-02 18:21                               ` Wes Groleau
2002-03-28 15:36               ` Marin David Condic
2002-03-29 14:49                 ` Larry Kilgallen
2002-03-29 16:56                   ` hack
2002-03-29 17:14                     ` Preben Randhol
2002-03-29 18:37                     ` Marin David Condic
2002-04-01 15:53                       ` hack
2002-04-01 16:47                         ` Marin David Condic
2002-04-02 17:15                           ` hack
2002-04-04 10:34                         ` pascal stenuit
2002-04-01 17:44                       ` Stephen Leake
2002-04-01 18:22                         ` Marin David Condic
2002-03-29 18:05                 ` tmoran
2002-03-29 18:41                   ` Marin David Condic
2002-03-30 13:46                     ` Larry Kilgallen
2002-04-01 15:35                       ` Marin David Condic
2002-03-28 15:39               ` Georg Bauhaus
2002-03-29 14:44                 ` Marin David Condic
2002-04-02  1:04                   ` David Hoyt
2002-04-02 21:51                   ` Maynard Handley
2002-04-03 14:34                     ` Marin David Condic
2002-04-04  3:34                       ` Mark Bottomley
2002-04-04 14:48                         ` Marin David Condic
2002-04-04 16:04                         ` Wes Groleau
2002-04-04  7:07                       ` Ketil Malde
2002-04-04 15:01                         ` Marin David Condic
2002-04-04 16:54                         ` Warren W. Gay VE3WWG
2002-04-04 17:56                           ` Marin David Condic
2002-04-05 16:57                             ` Warren W. Gay VE3WWG
2002-04-05 18:07                               ` Marin David Condic
2002-04-10 16:29                                 ` Warren W. Gay VE3WWG
2002-04-04  7:58                       ` Ingo Marks
2002-04-04 15:18                         ` Marin David Condic [this message]
2002-04-08 17:17                           ` Kevin Cline
2002-04-08 17:44                             ` Ingo Marks
2002-04-08 18:10                             ` Nick Maclaren
2002-03-28 17:01               ` Wes Groleau
2002-03-28 17:27               ` Pascal Obry
2002-03-28 18:45                 ` Simon Wright
2002-03-29  0:33                 ` Ned Holbrook
2002-03-29  2:19                   ` Tony Finch
2002-03-29  4:15                     ` Darren New
2002-03-29 14:50                     ` Marin David Condic
2002-03-30  3:38                       ` Larry Kilgallen
2002-04-01 14:31                         ` Wes Groleau
2002-04-01 15:46                         ` Marin David Condic
2002-04-02 18:28                           ` Wes Groleau
2002-04-02 18:48                             ` Marin David Condic
2002-04-03  7:17                             ` Adam Tissa
2002-04-03 17:58                               ` Darren New
2002-03-29 16:28                   ` Georg Bauhaus
2002-03-29 17:08                   ` hack
2002-03-29 17:38                     ` Nick Maclaren
2002-03-30 15:06                 ` Peter da Silva
2002-03-30 17:26                   ` Erik Corry
2002-03-28 22:37               ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox