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: Thu, 19 Jun 2014 07:34:26 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <slrnlq54jv.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>
Injection-Date: Thu, 19 Jun 2014 07:34:26 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="76a49b86bc3e16725b7cfca3d85cb4c8";
	logging-data="28925"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19oskc6OhRrvOOmEh1bdjEO"
User-Agent: slrn/1.0.1 (FreeBSD)
Cancel-Lock: sha1:7/qstTXfOHBnbyyL1sEJ1BcvJEk=
Xref: news.eternal-september.org comp.lang.ada:20445
Date: 2014-06-19T07:34:26+00:00
List-Id: <comp.lang.ada>

On 2014-06-18, Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
> On Wed, 18 Jun 2014 17:34:35 +0000 (UTC), Natasha Kerensikova wrote:
>
>> For some reason I'm much more frightened by parsing Ada text than by
>> code generation. I know the latter is probably not easier than the
>> former (I'm aware of LLVM vs nested functions), but who said fright is
>> rational?
>
> Oh, but parsing is really simple thing. You do recursive descent all the
> time. Except for expressions. For expressions you could take this:
>
> http://www.dmitry-kazakov.de/ada/components.htm#12.9

Maybe it's a vocabulary issue, but it's not the part where tokens are
carved out of input text that frighten me, but rather the first level of
interpretation: what entity is that word referring to? More
specifically, dealing with use clauses, prefix notations, overloading,
and stuff like that.

Am I mistaken in assuming an ASIS  provider takes care of that part as
well?

> Semantic analysis is a hell. Code generation, optimization is a hell within
> hell, IMO.

To clarify, I'm currently only contemplating doing the simplest
ASIS-to-LLVM-intermediate-form translator.

That means no optimization (other than what LLVM can do downstream), no
machine code generation (again other than LLVM provides), no useful
syntax error message, probably no syntax error messages at all for a
while (I'm not even sure how to deal with detecting whether a source is
legal or not), no runtime system, and no standard library.

Now I can still be talked out of this, but pointing out difficulties
outside of the scope of the draft project is not a good deterrent.

You could however point how useless it would be, so you might want to
consider it a milestone rather than a project then.


Natasha