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.
next prev 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