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=unavailable 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!.POSTED!not-for-mail
From: Natasha Kerensikova <lithiumcat@instinctive.eu>
Newsgroups: comp.lang.ada
Subject: Re: Ada platforms and pricing, was: Re: a new language, designed
 for safety !
Date: Fri, 20 Jun 2014 07:26:10 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <slrnlq7oge.i0l.lithiumcat@nat.rebma.instinctive.eu>
References: <1402308235.2520.153.camel@pascal.home.net>
 <85ioo9yukk.fsf@stephe-leake.org> <ln6tlg$1vc$1@dont-email.me>
 <255b51cd-b23f-4413-805a-9fea3c70d8b2@googlegroups.com>
 <ln6uv9$bk8$1@dont-email.me>
 <b22db9fb-a73d-438a-8cfd-f0bb1db70eed@googlegroups.com>
 <MPElv.491358$1w1.428312@fx03.iad>
 <5ebe316d-cd84-40fb-a983-9f953f205fef@googlegroups.com>
 <ln7ngt$c8a$1@dont-email.me>
 <2100734262424129975.133931laguest-archeia.com@nntp.aioe.org>
 <lnn5ko$ner$1@loke.gir.dk> <lnn8ff$k42$1@dont-email.me>
 <857442918424729589.090275laguest-archeia.com@nntp.aioe.org>
 <slrnlq2eom.i0l.lithiumcat@nat.rebma.instinctive.eu>
 <lnrpsq$8ao$1@dont-email.me>
 <slrnlq3jd8.i0l.lithiumcat@nat.rebma.instinctive.eu>
 <erb49jp6qy6n$.5cesca6do7x3$.dlg@40tude.net>
 <slrnlq54jv.i0l.lithiumcat@nat.rebma.instinctive.eu>
 <lnvj7g$nak$1@loke.gir.dk>
Injection-Date: Fri, 20 Jun 2014 07:26:10 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="76a49b86bc3e16725b7cfca3d85cb4c8";
	logging-data="9790"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18/pPupZTbyxIlyYJARZY8O"
User-Agent: slrn/1.0.1 (FreeBSD)
Cancel-Lock: sha1:CWEhIN60Uneeuouc24skJxPeAIU=
Xref: news.eternal-september.org comp.lang.ada:20464
Date: 2014-06-20T07:26:10+00:00
List-Id: <comp.lang.ada>

On 2014-06-19, Randy Brukardt <randy@rrsoftware.com> wrote:
> "Natasha Kerensikova" <lithiumcat@instinctive.eu> wrote in message 
> news:slrnlq54jv.i0l.lithiumcat@nat.rebma.instinctive.eu...
> ...
>> To clarify, I'm currently only contemplating doing the simplest
>> ASIS-to-LLVM-intermediate-form translator.
>
>  That sounds like a week's work to me. :-)

Great, so it might take slightly less than a lifetime to me \o/

>                                            Well, it would be if ASIS made 
> much sense, but the missing information about types and the like will make 
> it into hell.

Now that's a serious downer. But I guess I will be able to judge it by
myself when I know ASIS a bit better.

>               I doubt there would be much advantage to starting from ASIS as 
> opposed to a raw parse tree, and having your own parser would help a lot in 
> the goal of making a separate compiler family. (Depending on the GNAT 
> front-end to make your ASIS information is not exactly going to wean anyone 
> from GNAT.)

Well the plan was not to depend on ASIS-on-GNAT, but on Gela, which I
understood was an implementation completely independent from GNAT
(though I haven't checked myself).

The way I understand the whole situation is that ASIS provider diversity
would be a good thing too (though not as much as compiler diversity),
and Gela is not too far from there, so pushing Gela forward would be a
good thing both globally and for my self-improvement.

If that succeeds, it might be a good start for an independent Ada
compiler, or I might have acquired the certainty that it's not. Then the
ASIS-to-LLVM-intermediate-form vs brand-new-parser-to-LLVM-IF situation
will be much easier to assess, and in the meantime I will have acquired
knowledge and skills that are valuable for both paths.

Sounds good?


Natasha