Re: Could you write a BSD like os in ADA?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2016-05-09 22:14, Randy Brukardt wrote:
> "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.

CP/M-80 wasn't an OS. The term was 'monitor', IMO.

> But your real point is that it is 2016, and what is the point of recreating
> a 40-year old design?

The design of UNIX was old from the day one. There are not many new 
concepts of OS design since then anyway. Original UNIX ignored almost 
everything of that and used the most stupid ideas instead.

> 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).

Yes, though not really related to OS, it might be quite interesting to 
see how SPARK would influence OS implementation and conversely.

> There's also the practical
> issue: If you actually wanted someone to use it, you'd need to offer
> something different.

Theoretically so, but in reality nobody knows what people want until it 
happens. Who would ever need Android?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de