From: Charles Hixson <charleshixson@earthling.net>
To: Robert Dewar <dewar@merv.cs.nyu.edu>
Subject: Re: Urgent question: malloc and ada...
Date: 1998/05/01
Date: 1998-05-01T00:00:00+00:00 [thread overview]
Message-ID: <3549EF32.6AAFB895@earthling.net> (raw)
In-Reply-To: dewar.894029184@merv
Actually, if someone were to rewrite the Linux kernel in Ada, it might
be VERY useful. Ada is supposed to catch errors MUCH more readily, and
an OS without internal errors would be extremely popular (at least with
some people [like me]).
I haven't checked the actual scope of the proposal, but if Linux were
being maintained in Ada rather than in C, there would be a large
increase in the number of interested (in Ada) people.
Robert Dewar wrote:
>
> Larry said
>
> <<I find it strange that even in comp.lang.ada a distinguished contributor
> would express the assumption that the operating system was written in C.
> >>
>
> Perhaps that is because the distinguished contributor lives in the real
> world, and not a wishful-thinking world! In practice the definition
> expressed here is a useful one, since of course it is almost always
> the case that the operating system involved will have substantial
> chunks written in C (probably it won't be 100% C, there will be C++,
> and perhaps assembly .....)
>
> It would be a nice excercise to rewrite the Linux kernel in Ada, and indeed
> the comparison of the effort involved, and the final results would make
> an interesting student research paper. This is by no means an out of scope
> effort. The core of the kernel is not a gigantic program.
>
> But until such a thing is done, I am afraid that Larry will continue
> to find the real world strange :-)
--
Charles Hixson charleshixson@earthling.net
(510) 464-7733 or chixso@mtc.dst.ca.us
next prev parent reply other threads:[~1998-05-01 0:00 UTC|newest]
Thread overview: 43+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-04-07 0:00 Urgent question: malloc and ada Guido Tesch
1998-04-09 0:00 ` Joe Gwinn
1998-04-10 0:00 ` Urgent question: malloc and ada...READ/NEW/FOLLOWUP Larry Kilgallen
1998-04-12 0:00 ` Joe Gwinn
1998-04-14 0:00 ` Robert Dewar
1998-04-16 0:00 ` Joe Gwinn
1998-04-17 0:00 ` Robert Dewar
1998-04-18 0:00 ` Joe Gwinn
1998-04-18 0:00 ` Robert Dewar
1998-04-25 0:00 ` Joe Gwinn
1998-04-26 0:00 ` Robert Dewar
1998-04-26 0:00 ` Jonathan Guthrie
1998-04-26 0:00 ` Robert Dewar
1998-04-26 0:00 ` Simon Wright
1998-04-26 0:00 ` Larry Kilgallen
1998-04-27 0:00 ` Stephen Leake
1998-04-30 0:00 ` Robert I. Eachus
1998-04-30 0:00 ` Urgent question: malloc and ada Larry Kilgallen
1998-05-01 0:00 ` Robert Dewar
1998-05-01 0:00 ` Charles Hixson [this message]
1998-05-02 0:00 ` Jonathan Guthrie
1998-05-02 0:00 ` Corey Minyard
1998-05-06 0:00 ` Robert I. Eachus
1998-05-12 0:00 ` Craig T. Spannring
1998-05-12 0:00 ` Robert Dewar
[not found] ` <matthew_heaney-ya023680003004981723000001@news.ni.net>
1998-05-01 0:00 ` Robert Dewar
1998-05-01 0:00 ` Larry Kilgallen
1998-05-02 0:00 ` Robert Dewar
1998-05-02 0:00 ` Jonathan Guthrie
1998-05-03 0:00 ` Robert Dewar
1998-05-03 0:00 ` Richard Kenner
1998-05-03 0:00 ` Jonathan Guthrie
1998-05-03 0:00 ` Richard Kenner
1998-05-03 0:00 ` Robert Dewar
1998-05-03 0:00 ` Larry Kilgallen
1998-05-01 0:00 ` Urgent question: malloc and ada...READ/NEW/FOLLOWUP Fergus Henderson
1998-05-01 0:00 ` Joe Gwinn
1998-05-02 0:00 ` Larry Kilgallen
1998-05-05 0:00 ` Robert Dewar
1998-04-10 0:00 ` Urgent question: malloc and ada Robert Dewar
1998-04-12 0:00 ` Joe Gwinn
1998-04-12 0:00 ` Enumeration Types (was: Urgent question: malloc and ada) Matthew Heaney
1998-04-13 0:00 ` Mark A Biggar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox