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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC 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!mx02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Nasser M. Abbasi" <nma@12000.org>
Newsgroups: comp.lang.ada
Subject: Re: Build language with weak typing, then add scaffolding later to
 strengthen it?
Date: Sun, 31 May 2015 03:31:55 -0500
Organization: Aioe.org NNTP Server
Message-ID: <mkegtq$tts$1@speranza.aioe.org>
References: <mjlale$dpk$1@speranza.aioe.org>
 <ad8483c7-8f3c-4469-9079-a97ca3abaf27@googlegroups.com>
 <mjnpkt$b6j$1@dont-email.me>
 <59a4ee45-23fb-4b0e-905c-cc16ce46b5f6@googlegroups.com>
 <mjo0mk$7qu$1@dont-email.me>
 <46b2dce1-2a1c-455d-b041-3a9d217e2c3f@googlegroups.com>
 <mjpsdi$6cq$1@dont-email.me>
 <ac78c8c6-de94-4f92-afcb-c1ae78523245@googlegroups.com>
 <3277d769-6503-4c7f-885f-3a730762b620@googlegroups.com>
 <mjvv2l$8rk$1@speranza.aioe.org> <mjvv7h$8rk$2@speranza.aioe.org>
 <9fa68fb7-89f0-42b3-8f25-20e70cb34d63@googlegroups.com>
 <87egm3u662.fsf@adaheads.sparre-andersen.dk>
 <20c56bea-2803-4aa9-a626-2d25e480df20@googlegroups.com>
 <mk88v9$im6$1@loke.gir.dk> <alpine.DEB.2.11.1505291006310.28509@debian>
 <mkan1b$88u$1@loke.gir.dk>
 <d003698d-cad3-4ce5-8196-dcff3d0e266a@googlegroups.com>
 <1dmgofrqo3xn5$.1p4241xr4z92p.dlg@40tude.net>
 <fc43afa3-7e8a-41b3-ba54-f9b0a5d234ac@googlegroups.com>
 <1066il1b5nk21.ioykgza5bnsw.dlg@40tude.net>
 <c5895df1-1d98-4774-ae6a-72a604b46d42@googlegroups.com>
Reply-To: nma@12000.org
NNTP-Posting-Host: CV72NQ0GT7rQd8cP1ZYi/A.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:31.0) Gecko/20100101 Thunderbird/31.7.0
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:26112
Date: 2015-05-31T03:31:55-05:00
List-Id: <comp.lang.ada>

On 5/30/2015 3:52 PM, jan.de.kruyf@gmail.com wrote:

> I am doing a kernel module adaption at the moment and also Ada and Linux kernel fit very badly.
>

fyi, There was lots of discussion in making an Ada kernel/OS many years ago.

I do not know what happend to these activities. Here are some threads:

https://groups.google.com/forum/#!topic/comp.lang.ada/c9QzntBcAbI
https://groups.google.com/forum/#!topic/comp.lang.ada/9FsfbVPsuuQ
http://compgroups.net/comp.lang.ada/ada-os-based-on-minix3/1411184
http://compgroups.net/comp.lang.ada/open-source-ada-os/1412511

and more.

--Nasser