comp.lang.ada
 help / color / mirror / Atom feed
From: mjsilva@my-deja.com
Subject: Re: Trouble with UNIX IPC and Ada95
Date: Thu, 31 Aug 2000 19:03:29 GMT
Date: 2000-08-31T19:03:29+00:00	[thread overview]
Message-ID: <8oma5h$68l$1@nnrp1.deja.com> (raw)
In-Reply-To: 8om5tn$q0$1@nnrp1.deja.com

In article <8om5tn$q0$1@nnrp1.deja.com>,
  wv12@my-deja.com wrote:
>
>
> >
> > "trust C"?  That's not exactly the question.  If the program is
> properly
> > designed in nearly any programming language, then it will work
> properly.
> > The problem is that it's more difficult to properly design a program
> in C
> > than in some other languages.
> Apparently this is not the case. Twenty years after IBM launches the
> IBM PC, you see a myriads of operating systems written in C: MINIX,
> XINU, Linux, XENIX, FreeBSD, etc... I haven't seen anything in Ada
> on any PC that provides half the functionality of DOS. Maybe there
> is a language that makes OS design become a walk in the park. That
> language is not Ada.

You have quite a bee in your bonnet regarding Ada, haven't you?  Your
reply totally avoids responding to the assertion.  If you claim the
opposite, that it is *no* more difficult to properly design a program
in C than in *any* other language, then you've staked out a very lonely
and unsupported position.  Are you aware that "When Bell Labs were
invited to evaluate C against the DoD requirements, they said that
there was no chance of C meeting the requirements of readability,
safety, etc., for which we were striving, and that it should not even
be on the list of evaluated languages"? (from "Ada - The Project, The
DoD High Order Language Working Group")

Maybe a few years down the road you'll finally get tired of chasing
down the C bugs that other languages (including Ada) would have caught,
and stop looking at C through rose-colored glasses.

Mike


Sent via Deja.com http://www.deja.com/
Before you buy.



  parent reply	other threads:[~2000-08-31 19:03 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-08-30 16:16 Trouble with UNIX IPC and Ada95 berserker
2000-08-30  0:00 ` Marc A. Criley
2000-08-31 14:36 ` wv12
2000-08-31 15:27   ` Charles Hixson
2000-08-31 17:50     ` wv12
2000-08-31 18:42       ` David Starner
2000-08-31 19:03       ` mjsilva [this message]
2000-08-31 20:38       ` Larry Kilgallen
2000-09-01  7:47       ` Tarjei T. Jensen
2000-09-02 12:02       ` gdemont
     [not found]       ` <8opdn8$bgvss$1@ID-25716.news.cis.dfn.de>
2000-09-02 13:23         ` Marin David Condic
2000-09-02 22:07           ` AdaOS (was: Trouble with UNIX IPC and Ada95) Nick Roberts
2000-08-31 22:57     ` Trouble with UNIX IPC and Ada95 John McCabe
2000-08-31 18:32   ` David Starner
2000-09-01  4:25   ` Robert Dewar
2000-09-01 14:58   ` Luke B. Andrews
2000-09-01 17:56 ` Anders Gidenstam
replies disabled

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