From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a37:7c7:: with SMTP id 190mr18008587qkh.269.1627952718238;
        Mon, 02 Aug 2021 18:05:18 -0700 (PDT)
X-Received: by 2002:a25:a4c6:: with SMTP id g64mr16296610ybi.173.1627952718056;
 Mon, 02 Aug 2021 18:05:18 -0700 (PDT)
Path: eternal-september.org!reader02.eternal-september.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 2 Aug 2021 18:05:17 -0700 (PDT)
In-Reply-To: <se3fmf$4f4$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=146.5.2.231; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 146.5.2.231
References: <sdr7qu$cuj$1@dont-email.me> <sdstub$qk9$1@franka.jacob-sparre.dk>
 <sdtmk1$jl4$1@gioia.aioe.org> <sdtpjp$250$1@gioia.aioe.org>
 <sdu3n0$buh$1@dont-email.me> <sdu554$1f79$1@gioia.aioe.org>
 <se0nra$h84$1@dont-email.me> <se38o7$153e$1@gioia.aioe.org>
 <se3dtd$sb0$1@dont-email.me> <se3fmf$4f4$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <369293ac-4e73-468f-9979-4d03093abce6n@googlegroups.com>
Subject: Re: Building the 2021 source release of GnatStudio
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Tue, 03 Aug 2021 01:05:18 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:62474
List-Id: <comp.lang.ada>

On Saturday, July 31, 2021 at 6:29:07 AM UTC-6, Dmitry A. Kazakov wrote:
> > The biggest complaint I had about GNATStudio was its instability. I=20
> > think that Adacore has made great progress now. It's now a pleasure to=
=20
> > work with.
> Yes, but each new version of GTK can change that. GTK is unstable on=20
> both Windows and Linux, it is just as it is. AdaCore can at best work=20
> around GTK bugs.
And this is exactly why I said that one should evaluate the consequences of=
 your dependencies: depending on something unstable can easily introduce th=
at instability into your program.
>=20
> Though Python is 100% self-inflicted damage.
Agreed.
While Python can be quick and "easy" for prototyping, there are whole class=
es of errors that any dynamic-typed language possesses which statically-typ=
ed languages do not. The only dynamically-typed programming language that I=
've come across which [arguably] has both the mechanisms and culture addres=
sing those issues is LISP.
>AdaCore could easily=20
> implement some Ada script, again, not to confuse with shell. They did it=
=20
> partially with GPR. The GPR compiler could be extended to support a=20
> larger variety of expressions.
GPR is a very saddening example.
It's too "stringly-typed", it doesn't leverage the obvious structural Ada a=
ncestry, and because of this the GPR-build tool is kneecapped.
(As an example, if GPR files were a tightly restricted GENERIC package [tha=
t is, a subset of Ada s.t. all GPR files were valid Ada], with build-option=
s as formal-parameters, you could use the GPR-build tool to automatically g=
enerate menus and guide the user through a build.)
>=20
> Customers wanting Python will use Eclipse instead of GPS anyway, so that=
=20
> is not an argument either.
I see the reasoning there, but what basis do you have for such a strong ass=
ertion?