From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Building the 2021 source release of GnatStudio
Date: Mon, 2 Aug 2021 18:05:17 -0700 (PDT) [thread overview]
Message-ID: <369293ac-4e73-468f-9979-4d03093abce6n@googlegroups.com> (raw)
In-Reply-To: <se3fmf$4f4$1@gioia.aioe.org>
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
> > think that Adacore has made great progress now. It's now a pleasure to
> > work with.
> Yes, but each new version of GTK can change that. GTK is unstable on
> both Windows and Linux, it is just as it is. AdaCore can at best work
> 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 that instability into your program.
>
> Though Python is 100% self-inflicted damage.
Agreed.
While Python can be quick and "easy" for prototyping, there are whole classes of errors that any dynamic-typed language possesses which statically-typed languages do not. The only dynamically-typed programming language that I've come across which [arguably] has both the mechanisms and culture addressing those issues is LISP.
>AdaCore could easily
> implement some Ada script, again, not to confuse with shell. They did it
> partially with GPR. The GPR compiler could be extended to support a
> larger variety of expressions.
GPR is a very saddening example.
It's too "stringly-typed", it doesn't leverage the obvious structural Ada ancestry, and because of this the GPR-build tool is kneecapped.
(As an example, if GPR files were a tightly restricted GENERIC package [that is, a subset of Ada s.t. all GPR files were valid Ada], with build-options as formal-parameters, you could use the GPR-build tool to automatically generate menus and guide the user through a build.)
>
> Customers wanting Python will use Eclipse instead of GPS anyway, so that
> is not an argument either.
I see the reasoning there, but what basis do you have for such a strong assertion?
next prev parent reply other threads:[~2021-08-03 1:05 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-07-28 9:25 Building the 2021 source release of GnatStudio Rod Kay
2021-07-28 10:49 ` Emmanuel Briot
2021-07-28 14:29 ` Simon Wright
2021-07-29 10:29 ` Rod Kay
2021-07-29 0:49 ` Randy Brukardt
2021-07-29 7:49 ` Luke A. Guest
2021-07-29 8:41 ` Dmitry A. Kazakov
2021-07-29 11:33 ` Stéphane Rivière
2021-07-29 11:58 ` Dmitry A. Kazakov
2021-07-30 11:29 ` Stéphane Rivière
2021-07-30 11:51 ` Emmanuel Briot
2021-07-30 16:59 ` Shark8
2021-07-30 17:07 ` Simon Wright
2021-07-31 9:37 ` Stéphane Rivière
2021-07-31 10:30 ` Dmitry A. Kazakov
2021-07-31 11:58 ` Stéphane Rivière
2021-07-31 12:29 ` Dmitry A. Kazakov
2021-08-03 1:05 ` Shark8 [this message]
2021-08-03 6:30 ` Dmitry A. Kazakov
2021-08-03 7:20 ` Stéphane Rivière
2021-08-28 0:08 ` Roger Mc
2021-07-30 0:21 ` Randy Brukardt
2021-07-29 10:37 ` Rod Kay
2021-07-29 14:37 ` J-P. Rosen
2021-07-29 17:43 ` Shark8
2021-07-29 17:23 ` Shark8
2021-07-29 1:09 ` Roger Mc
2021-07-29 10:47 ` Rod Kay
2021-08-27 9:58 ` Blady
2021-08-28 0:10 ` Roger Mc
2021-08-28 6:40 ` Jeffrey R. Carter
2021-08-28 7:16 ` Roger Mc
2021-08-28 7:21 ` Simon Wright
2021-08-28 9:14 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox