From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,85034d1ac78a66eb X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-03-16 19:42:48 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.cwix.com!newsfeed1.cidera.com!Cidera!cyclone.tampabay.rr.com!cyclone.austin.rr.com!typhoon.austin.rr.com.POSTED!53ab2750!not-for-mail Message-ID: <3C94103A.6090209@houston.rr.com> From: Rod Haper User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.4) Gecko/20011126 Netscape6/6.2.1 X-Accept-Language: en-us MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Ada Operating System References: <3c77b476.322111671@news.cis.dfn.de> <3C88E0D1.89161C16@despammed.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Date: Sun, 17 Mar 2002 03:40:39 GMT NNTP-Posting-Host: 24.160.109.153 X-Complaints-To: abuse@rr.com X-Trace: typhoon.austin.rr.com 1016336439 24.160.109.153 (Sat, 16 Mar 2002 21:40:39 CST) NNTP-Posting-Date: Sat, 16 Mar 2002 21:40:39 CST Organization: Road Runner - Texas Xref: archiver1.google.com comp.lang.ada:21353 Date: 2002-03-17T03:40:39+00:00 List-Id: Marin David Condic wrote: > > Ada is Object Oriented - make the OS services look like the Ada OO model. > Ada has tasking - make the OS tasking look just like Ada. > Ada has protected types - make the OS provide services that look like it. > Ada has generics - make OS services generic where possible. > Ada supports strong typing - make the OS utilize strong typing. (Don't make > everything in it just be raw bytes & words.) > Ada supports runtime checking - make the OS do the same. > > I'm sure with some thought a bunch of similar suggestions could be > developed. Look at the system services in your typical Unix implementation > and notice how much they tend to look "C-ish". The idea would be to build an > OS that looked "Ada-ish". That would be a *real* difference and make > programming for the OS lean towards Ada. Yes, I think you've hit upon an excellent idea! These are some really good points that represent both new and inovative features and also define a coherent design philosopy. I very much like this suggestion to design the OS to have a strong Ada-ish flavor and bias. I've been following this Ada OS thread from the beginning it seemed like it was just drifting without a clear destination or sense of direction. This sounds like a plan that could produce a unique OS with new features/functionality, with hopefully improved safety/security/reliabilty, and it would be very Ada friendly. -- Rod +----------------------------------+ | Rod Haper, rhaper@houston.rr.com | | There is a better way ... | | LAP => Linux + Ada95 + Python | +----------------------------------+