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-Thread: a07f3367d7,dea2d62ab1462538 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,UTF8 Path: g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!exabot.com!freenix!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: Re: Writing an Operating System in Ada Date: Thu, 14 Jan 2010 10:12:25 +0100 Organization: Adalog Message-ID: References: <8e9bc311-7540-40a1-b19e-49e93648c25c@s31g2000yqs.googlegroups.com> NNTP-Posting-Host: mailhost.axlog.fr Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Trace: s1.news.oleane.net 1263463281 8865 195.25.228.57 (14 Jan 2010 10:01:21 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Thu, 14 Jan 2010 10:01:21 +0000 (UTC) User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) In-Reply-To: Xref: g2news1.google.com comp.lang.ada:8742 Date: 2010-01-14T10:12:25+01:00 List-Id: Leslie a écrit : > As a side note, does anyone here remember the Intel iAPX432 > processor, designed to execute Ada programs (almost) directly? > Yes I do. IIRC, the project failed because they completely missed the point. The processor was intended to be able to check the types of data at run-time, something that the compiler had already done. In a sense, it would have been a marvelous processor for any language but Ada - bringing Ada's type safety to other languages. There was a team who developped an Ada compiler for the iAPX432. When the project was disbanded, they were so frustrated that they decided to move their compiler to other targets and market it. The company was called Verdix... -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Visit Adalog's web site at http://www.adalog.fr