comp.lang.ada
 help / color / mirror / Atom feed
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?

  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