From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Could you write a BSD like os in ADA?
Date: Mon, 9 May 2016 15:14:27 -0500
Date: 2016-05-09T15:14:27-05:00 [thread overview]
Message-ID: <ngqr34$c98$1@loke.gir.dk> (raw)
In-Reply-To: ng9l30$rc9$1@gioia.aioe.org
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:ng9l30$rc9$1@gioia.aioe.org...
> On 03/05/2016 00:51, endlessboomcapitalism@gmail.com wrote:
>> Like with all we know now......rewrite in ada?
>
> What for? A poorly designed OS remains that in any language.
That's unfair: BSD was a well-designed OS when it was designed (mid-1970s).
Consider CP/M-80 (to take one example) for an example of a poorly designed
(assuming it was designed at all) OS. Rewriting that in Ada (or anything)
would be bizarre.
But your real point is that it is 2016, and what is the point of recreating
a 40-year old design? If we can't do better today (on some dimension of
"better"), that means that CS is completely stalled since then (and that's
clearly not true; SPARK alone disproves it). There's also the practical
issue: If you actually wanted someone to use it, you'd need to offer
something different. Oliver's reply gives some approaches to that problem.
Randy.
next prev parent reply other threads:[~2016-05-09 20:14 UTC|newest]
Thread overview: 83+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-05-02 22:51 Could you write a BSD like os in ADA? endlessboomcapitalism
2016-05-03 7:47 ` Dmitry A. Kazakov
2016-05-03 14:29 ` Olivier Henley
2016-05-09 20:14 ` Randy Brukardt [this message]
2016-05-09 20:58 ` Dmitry A. Kazakov
2016-05-09 22:26 ` tmoran
2016-05-10 9:45 ` G.B.
2016-05-10 10:04 ` Dmitry A. Kazakov
2016-05-10 10:21 ` G.B.
2016-05-10 10:38 ` Dmitry A. Kazakov
2016-05-10 11:10 ` G.B.
2016-05-10 11:41 ` Xavier Petit
2016-05-10 11:54 ` G.B.
2016-05-10 12:18 ` Bob Butler
2016-05-10 15:10 ` Xavier Petit
2016-05-09 21:05 ` Jeffrey R. Carter
2016-05-10 22:03 ` Randy Brukardt
2016-05-10 23:55 ` Jeffrey R. Carter
2016-08-21 23:31 ` endlessboomcapitalism
2016-08-22 0:18 ` Andrew Shvets
2016-08-22 5:01 ` J-P. Rosen
2016-08-22 8:14 ` Dmitry A. Kazakov
2016-08-22 9:49 ` Bob Broderbund
2016-08-22 23:50 ` John Smith
2016-08-23 0:04 ` Shark8
2016-08-23 8:36 ` Bob Broderbund
2016-08-23 8:43 ` Bob Broderbund
2016-08-23 9:47 ` Dmitry A. Kazakov
2016-08-23 13:11 ` already5chosen
2016-08-24 4:12 ` Nasser M. Abbasi
2016-08-24 7:26 ` Dmitry A. Kazakov
2016-08-24 9:25 ` already5chosen
2016-08-24 12:05 ` Vincent
2016-08-24 15:10 ` Bob Broderbund
2016-08-25 0:20 ` Dennis Lee Bieber
2016-08-25 16:30 ` Niklas Holsti
2016-08-28 1:06 ` VMS and C/Ada, was: " Simon Clubley
2016-08-28 7:05 ` Simon Wright
2017-03-14 10:59 ` gérard Calliet
2017-03-14 14:11 ` Simon Clubley
2017-03-14 15:15 ` Dennis Lee Bieber
2017-03-14 17:07 ` gérard Calliet
2017-03-14 18:36 ` Simon Clubley
2017-03-14 23:12 ` gérard Calliet
2016-08-24 17:40 ` Qun-Ying
2016-08-24 18:25 ` Jeffrey R. Carter
2016-08-28 1:20 ` Simon Clubley
2016-08-28 8:10 ` Bob Broderbund
2016-08-28 8:36 ` Simon Clubley
2016-08-28 8:55 ` Bob Broderbund
2016-08-28 9:31 ` Simon Clubley
2016-08-28 9:44 ` Could you write a BSD like os in Ada? Bob Broderbund
2016-08-24 9:15 ` Could you write a BSD like os in ADA? already5chosen
2016-08-24 15:11 ` Bob Broderbund
2016-08-24 13:00 ` Dennis Lee Bieber
2016-08-24 15:00 ` Bob Broderbund
2016-08-28 1:29 ` [OT] VSI and VMS, was: " Simon Clubley
2016-08-28 8:12 ` Bob Broderbund
2016-08-28 8:43 ` Simon Clubley
2016-08-28 9:00 ` Bob Broderbund
2016-08-28 1:46 ` [OT] " Simon Clubley
2016-08-28 8:20 ` Bob Broderbund
2016-08-28 9:11 ` Simon Clubley
2016-08-23 12:51 ` already5chosen
2016-08-24 0:50 ` Shark8
2016-08-24 11:03 ` Maciej Sobczak
2016-08-24 15:15 ` Bob Broderbund
2016-08-24 15:37 ` already5chosen
2016-08-24 15:53 ` Bob Broderbund
2016-08-24 16:37 ` already5chosen
2016-08-22 11:38 ` J-P. Rosen
2016-08-22 12:10 ` Dmitry A. Kazakov
2016-08-22 13:23 ` J-P. Rosen
2016-08-22 23:14 ` rieachus
2016-05-09 23:28 ` Xavier Petit
2016-05-10 15:58 ` Istvan Nagy
2016-05-12 22:18 ` phil.clayton
2016-05-14 0:57 ` Simon Clubley
2016-05-14 11:33 ` AdaMagica
2016-05-16 17:37 ` Norman Worth
2016-08-03 15:31 ` Serge Robyns
2016-08-06 23:12 ` Luke A. Guest
2016-08-25 0:00 ` rieachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox