comp.lang.ada
 help / color / mirror / Atom feed
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: How to make Ada popular. Get rid of ";" at end of statement.
Date: Fri, 26 Jul 2019 14:35:06 +0300
Date: 2019-07-26T14:35:06+03:00	[thread overview]
Message-ID: <gq06raF44qnU1@mid.individual.net> (raw)
In-Reply-To: <qhem4g$lvn$1@z-news.wcss.wroc.pl>

On 19-07-26 13:54 , antispam@math.uni.wroc.pl wrote:
> Ingo M. <announce@amkade.com> wrote:
>> Am Mittwoch, 24. Juli 2019 17:29:06 UTC+2 schrieb Dmitry A.
>> Kazakov:
>>
>>> It is worse than C/C++. It is largely model-driven design with
>>> software written or drawn in the form of diagrams which prevent
>>> even C/C++ rudimentary safety checks. Assorted chunks of code
>>> generated from diagrams are then piled together into one system.
>>
>> If that is usual then it should not matter which language the code
>> generator uses to produce the final result. It would not matter if
>> the object code language is C, or C++, or Ada, or whatever. So, why
>> not use a _safe_ language for that?
>
> IME any restriction in target language tends to complicate
> generator. Ada gives you bundled deal.  Some safety rules make sense
> whatever language you use, but some other are just arbitrary
> complication.  For example, IIRC Ada function can not have output
> parameters.

They can, today. And of course there were ways to get the same effect, 
before.

> So, less restrivtive target language is more convenient
> for generaator.

I would be afraid that generating the less restrictve language could 
hide and mask bugs in the generator.

> Also, macros in target language simplify generator.  Theoretically
> you may think that generator can do expansion.  It can, but in
> practice macros in target language make difference.

Of course there are any number of macro systems that could be used in 
the generator Ada, although Ada has no macro system built in. But again, 
I would be afraid that extensive use of macros in the generated code 
would make it harder to review for generator errors, and could also hide 
inefficient generated code.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .


  reply	other threads:[~2019-07-26 11:35 UTC|newest]

Thread overview: 43+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-07-19 21:41 How to make Ada popular. Get rid of ";" at end of statement Nasser M. Abbasi
2019-07-19 22:09 ` Dmitry A. Kazakov
2019-07-20  6:47   ` J-P. Rosen
2019-07-20  8:42     ` Paul Rubin
2019-07-21  5:11       ` J-P. Rosen
2019-07-23  9:24         ` darek
2019-07-20 17:08     ` Stéphane Rivière
2019-07-20 13:46   ` Dennis Lee Bieber
2019-07-20  0:47 ` Matt Borchers
2019-07-20 13:54   ` Dennis Lee Bieber
2019-07-20 14:40 ` Stephen Davies
2019-07-20 15:45   ` Optikos
2019-07-20 17:24     ` joviangm
2019-07-20 19:10       ` Optikos
2019-07-20 19:17         ` AdaMagica
2019-07-20 22:25           ` Paul Rubin
2019-07-20 23:08           ` Optikos
2019-07-20 22:24         ` Paul Rubin
2019-07-20 21:14   ` Keith Thompson
2019-07-23 21:58 ` Ingo M.
2019-07-23 23:56   ` Paul Rubin
2019-07-24 14:06   ` John Perry
2019-07-24 14:51     ` Ingo M.
2019-07-24 15:29       ` Dmitry A. Kazakov
2019-07-25 10:58         ` Ingo M.
2019-07-25 12:16           ` Dmitry A. Kazakov
2019-07-26 10:54           ` antispam
2019-07-26 11:35             ` Niklas Holsti [this message]
2019-07-26 16:07               ` Simon Wright
2019-07-24 19:52       ` Ingo M.
2019-07-24 20:31         ` J-P. Rosen
2019-07-25 13:34           ` gautier_niouzes
2019-07-25  7:26     ` Maciej Sobczak
2019-07-25 10:47       ` Ingo M.
2019-07-25 16:18       ` John Perry
2019-07-25 18:31         ` Dennis Lee Bieber
2019-07-26 18:04         ` Shark8
2019-07-26 18:53         ` Niklas Holsti
2019-07-26 19:16       ` Niklas Holsti
2019-07-27  1:27       ` Lucretia
2019-07-27  1:34         ` Keith Thompson
2019-07-27  3:11           ` Randy Brukardt
2019-07-27  4:06             ` Keith Thompson
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox