From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada OS based on Minix3
Date: Mon, 10 Nov 2008 12:01:19 +0100
Date: 2008-11-10T12:01:20+01:00 [thread overview]
Message-ID: <m9vvo4igyswg.1v3x0wk3xi1db.dlg@40tude.net> (raw)
In-Reply-To: 81912719-8c66-439d-a40e-529b22acd8a6@u29g2000pro.googlegroups.com
On Mon, 10 Nov 2008 02:50:22 -0800 (PST), Ivan Levashew wrote:
>> In my opinion an Ada OS, if there should be one, must be fully OO and have
>> native Ada interface.
>
> Which is unthinkable without Ada ABI. I'm missing Dylan's "sealed/
> unsealed".
Well, maybe. It is required if agents (mobile object) have to be supported
on the OS level.
>> An OO OS is unthinkable without MI, MD and safe
>> (non-cooperative) tasks and protected objects.
>
> What PL family do you mean:
> Sather/Eiffel, C++, Dylan/CLOS?
Ada
> BTW, in '88 or so there existed an OO-extension for Ada. It was called
> InnovAda.
I never heard about it.
I am satisfied with Ada 95 OO model. It was consistent but incomplete. Now
it must be made finished. Major things to add are:
1. Classes for all types
2. MI
3. MD
4. Supertypes
5. Procedural types
6. Proper construction/destruction
For OS:
7. Non-cooperative multitasking
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2008-11-10 11:01 UTC|newest]
Thread overview: 40+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-11-07 14:10 Ada OS based on Minix3 Cedric.Lannock
2008-11-07 16:20 ` xavier grave
2008-11-08 3:46 ` anon
2008-11-10 8:12 ` Ivan Levashew
2008-11-10 8:58 ` Dmitry A. Kazakov
2008-11-10 9:26 ` Ivan Levashew
2008-11-10 10:11 ` Georg Bauhaus
2008-11-10 10:24 ` Jacob Sparre Andersen
2008-11-10 10:51 ` Dmitry A. Kazakov
2008-11-10 11:07 ` Ludovic Brenta
2008-11-10 11:42 ` Ivan Levashew
2008-11-10 12:04 ` Ludovic Brenta
2008-11-11 22:16 ` Robert A Duff
2008-11-12 6:28 ` Ivan Levashew
2008-11-10 10:50 ` Ivan Levashew
2008-11-10 11:01 ` Dmitry A. Kazakov [this message]
2008-11-10 15:31 ` Robert A Duff
2008-11-10 15:56 ` Dmitry A. Kazakov
2008-11-11 22:09 ` Robert A Duff
2008-11-12 9:47 ` Dmitry A. Kazakov
2008-11-13 0:58 ` Randy Brukardt
2008-11-13 17:28 ` Dmitry A. Kazakov
2008-11-13 23:25 ` Randy Brukardt
2008-11-14 9:30 ` Dmitry A. Kazakov
2008-11-14 23:11 ` Robert A Duff
2008-11-15 10:04 ` Dmitry A. Kazakov
2008-11-15 11:57 ` Programmer controlled object creation (was: Re: Ada OS based on Minix3) Georg Bauhaus
2008-11-15 12:44 ` Programmer controlled object creation Dmitry A. Kazakov
2008-11-10 10:18 ` Ada OS based on Minix3 Georg Bauhaus
2008-11-11 1:00 ` Freejack
2008-11-11 8:32 ` Martin Krischik
2008-11-11 11:09 ` Peter C. Chapin
2008-11-11 11:59 ` Georg Bauhaus
2008-11-11 14:35 ` Ludovic Brenta
2008-11-11 16:49 ` Georg Bauhaus
2008-11-13 7:10 ` Martin Krischik
2008-11-13 7:01 ` Martin Krischik
2008-11-13 6:48 ` Martin Krischik
2008-11-13 8:09 ` Thomas Locke
2008-11-13 10:16 ` Alex R. Mosteo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox