Viewing profile — GhosT078

And despite all that complexity, you make it work very well (I've used GNAT since about 2002).

I think there is a significant difference between choosing to use words (from some language) versus using brackets like {}, () and []. With nested brackets there are often debates …

I agree. I've never understood or accepted the claim that Ada is verbose. It's simply clear and expressive. If there were some alternative concise syntax for "Ada" then I would not…

I have been using GNAT Studio (previously GNAT Programming Studio or GPS) on Linux for the last 15 years.

I didn't think these were hard to find: https://ada-lang.io/ https://alire.ada.dev/

An interesting, although incomplete, list.

Ada does. It has been through 5 editions so far and backwards compatibility is always maintained except for some small things that are documented and usually easy to update.

Yes it really was quite good despite all the hate it seems to get in internet comments. I used it for several years. The feature set, particularly config specs and dynamic views, w…

Look to Ada for “headers” (i.e. specs) done right.

IBM is where good (acquired) software goes to die. RIP Clearcase.

Sane, easily readable syntax and expressive semantics. Easy to learn. Very scalable. Suitability, by design, for low level systems programming, including microcontrollers. Suitabil…

Yes

In my timeline, something 10x better than Rust came along in 1995.

SPARK is a very expressive language for implementing cryptographic applications. It is available for some LLVM targets (e.g. x86-64).

Consider exploring Ada 2022 as a capable successor to Algol. Its well supported in GCC and scales well from very small to very large projects. Some information is at https://learn.…

Ada is very scalable, suitable for everything from blinking LEDs on an AVR microcontroller board to controlling interplanetary spacecraft. Similarly, SPARK can be used incrementall…

A good comment except for the "it's less pretty" claim. The Rust I've looked at seems incredibly cryptic by comparison.

I disagree. SPARK is all about using formal methods to statically prove software properties. Clippy seems more comparable to parts of AdaCore's other static analysis toolset (gnats…

Also agree. Windows Phone 8.1 and 10 were great smartphone interfaces.

It would work better if more people and search engines understood that Ada (language) is not an acronym.

I'm a long term Ada developer who has also used SPARK in the past (SPARK was/is great). I've been looking into Rust out of curiosity. I will dispute that "Rust brings superior lang…

A current Ada 2022 compiler is available for QNX. I think it’s used in autonomous vehicle applications.

Ada has very well thought out and proven tasking features, including clean methods of task cancellation.

Ada is also excellent for linear algebra and other numerical programming.