GhosT078

5 ms·

1.
by GhosT078 5mo ago
And despite all that complexity, you make it work very well (I've used GNAT since about 2002).
2.
by GhosT078 5mo ago
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 over placement and it is usually less clear what scope is be
3.
by GhosT078 5mo ago
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 want to use it (because it would not be
4.
by GhosT078 5mo ago
I have been using GNAT Studio (previously GNAT Programming Studio or GPS) on Linux for the last 15 years.
5.
by GhosT078 5mo ago
I didn't think these were hard to find: https://ada-lang.io/ https://alire.ada.dev/
6.
Surprising Places Where Ada Is Used(adacore.com)
3 points by GhosT078 8mo ago|2 comments
7.
by GhosT078 8mo ago
An interesting, although incomplete, list.
8.
by GhosT078 9mo ago
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.
9.
by GhosT078 9mo ago
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, was brilliant. The product was pretty mature and complete 25
10.
by GhosT078 9mo ago
Look to Ada for “headers” (i.e. specs) done right.
11.
by GhosT078 9mo ago
IBM is where good (acquired) software goes to die. RIP Clearcase.
12.
by GhosT078 9mo ago
Sane, easily readable syntax and expressive semantics. Easy to learn. Very scalable. Suitability, by design, for low level systems programming, including microcontrollers. Suitability, by design, for large, complex real-time applications.
13.
by GhosT078 9mo ago
Yes
14.
by GhosT078 9mo ago
In my timeline, something 10x better than Rust came along in 1995.
15.
by GhosT078 10mo ago
SPARK is a very expressive language for implementing cryptographic applications. It is available for some LLVM targets (e.g. x86-64).
16.
by GhosT078 10mo ago
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.adacore.com/ and https://alire.a
17.
by GhosT078 10mo ago
Ada is very scalable, suitable for everything from blinking LEDs on an AVR microcontroller board to controlling interplanetary spacecraft. Similarly, SPARK can be used incrementally, proving lower level or critical parts first.
18.
by GhosT078 10mo ago
A good comment except for the "it's less pretty" claim. The Rust I've looked at seems incredibly cryptic by comparison.
19.
by GhosT078 10mo ago
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 (gnatsas). See https://docs.adacore.com/live&
20.
by GhosT078 10mo ago
Also agree. Windows Phone 8.1 and 10 were great smartphone interfaces.
21.
by GhosT078 11mo ago
It would work better if more people and search engines understood that Ada (language) is not an acronym.
22.
by GhosT078 11mo ago
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 language ergonomics". To me, Rust'
23.
by GhosT078 1y ago
A current Ada 2022 compiler is available for QNX. I think it’s used in autonomous vehicle applications.
24.
by GhosT078 1y ago
Ada has very well thought out and proven tasking features, including clean methods of task cancellation.
25.
by GhosT078 1y ago
Ada is also excellent for linear algebra and other numerical programming.
26.
by GhosT078 1y ago
I'm not sure I understand your point. Is it about such an error being reported at run time versus compile time? The GNAT compiler will often provide compile time warnings that "Constraint_Error will be raised at run time" in
27.
by GhosT078 1y ago
This tradeoff sounds similar to the choice to use "tagged types" versus "variant records" in Ada. Ada has provided variant records since 1983 and tagged types since 1995 (and both with a very nice syntax).
28.
by GhosT078 1y ago
If you click on your username then there is a link to all of your past comments.
29.
by GhosT078 1y ago
Well, that will erroneously drop the ranking because NVIDIA themselves use the Ada programming language. Refer to: https://nvidia.github.io/spark-process/ https://www.nvidia.com/en-us/on-demand&#x2
30.
by GhosT078 1y ago
Ada has been held back primary by an image problem that traces back to the high cost and poor performance of a lot of early Ada 83 compilers. Ada adoption has never really recovered from that despite its many technical advantages, and despi

More ›