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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!eu.feeder.erje.net!feeder.erje.net!us.feeder.erje.net!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!fx23.iad.POSTED!not-for-mail
From: Shark8 <OneWingedShark@gmail.com>
User-Agent: Mozilla/5.0 (Windows NT 6.1; Win64; x64;
 rv:31.0) Gecko/20100101 Thunderbird/31.0a1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: ANN: Kickstarter for beginning work on a new open-source Compiler
References: <5151491a-14c3-4138-bcb5-f29108aeefb9@googlegroups.com>
 <h4-dnfOe2fPtm7fOnZ2dnUVZ_rudnZ2d@giganews.com>
 <QjHWu.43171$1s6.22527@fx31.iad>
 <9d599925-25ae-40c2-a26d-aa9fb7316649@googlegroups.com>
 <5B1Xu.64246$086.61049@fx18.iad> <lgj880$he5$1@dont-email.me>
In-Reply-To: <lgj880$he5$1@dont-email.me>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <OyPXu.74661$TT7.33733@fx23.iad>
X-Complaints-To: abuse@teranews.com
NNTP-Posting-Date: Mon, 24 Mar 2014 05:39:58 UTC
Organization: TeraNews.com
Date: Sun, 23 Mar 2014 23:41:54 -0700
X-Received-Bytes: 1740
X-Received-Body-CRC: 981362666
Xref: news.eternal-september.org comp.lang.ada:18940
Date: 2014-03-23T23:41:54-07:00
List-Id: <comp.lang.ada>

On 21-Mar-14 22:48, J-P. Rosen wrote:
> FYI, Gnat was always written in Ada, bootstrapped from the Alsys compiler.

Cool; I didn't know that.
My grand, overarching idea was basically:
(1) to have the first (and open-source / freely-available) Ada 2012 
compiler be written (implementation language rather irrelevant), then
(2) have the second be written in Ada 2012 (probably w/ SPARK 
verification/proving) -- hopefully w/ all annexes (though that's a LOT 
of work) -- and this would be the commercial product, then
(3) have that compiler/PSE/IDE available for implementing a 
verified/proved OS.

Like I said upthread; I believe that we /need/ our foundational tools to 
be without error... and that means investing in verification & 
correctness checking.