kevlar700

5 ms·

1.
by kevlar700 1y ago
True but it was far more open than a committee. The STRAWMAN requirements were circulated widely for comment to industry, military, federal and academic communities and to select experts such as Dijkstra and Hoare. Then WOODENMAN circulated
2.
by kevlar700 1y ago
Interestingly Co-Pilot gets it wrong and states Ada was designed by committees instead of being multiple competitive processes. How misunderstood Ada is. https://copilot.microsoft.com/shares/Jp9AmNHMEJzNmcbiu1VNx http
3.
by kevlar700 2y ago
Loving Ada without using exceptions or inheritance on embedded and desktop. Some love Ada full OOP tagged types. I love Ada procedural style with privacy and abstract data types. I wish Flutter was written in Ada but atleast Dart is better
4.
by kevlar700 2y ago
There is a podcast and blackhat? video about Nvidia choosing SPARK over Rust. Not because of formal verification at all but because it is a more developed prospect and offers better security even without any formal verification. This isn&#x
5.
by kevlar700 2y ago
SPARK is free for all to use and is open source. They chose to pay for Adacores pro support services and verified pro Ada compiler over the FSF GCC/Gnat Ada compiler. Spark is actually part of the Gnat compiler (compatibility) but actu
6.
by kevlar700 2y ago
Predicates are great but most of the good stuff including privacy, proper subtyping and abstract data types came with Ada 83. Rust can't hold a candle even to Ada 83 imo.
7.
by kevlar700 2y ago
Hardware products like sensor and control devices. I also use it for desktop tooling whenever a script wants a for loop. Unfortunately I use Flutter for GUI stuff because I hate js and because it has Android/IOS plugins that I would ha
8.
by kevlar700 2y ago
I think Ada is seen as some esteemed language that only the military and space would have the expertise to use. I had that opinion for maybe a decade but it was very wrong. The other issue was that it is so powerful that compilers had bugs
9.
by kevlar700 2y ago
Better to hurt your eyes (which is nonsense unless a book hurts your eyes) than your brain. Optimised for the common operation of reading.
10.
by kevlar700 2y ago
Whenever I can use Ada. I wouldn't use anything else.
11.
by kevlar700 2y ago
I use Ada for embedded products and it's the best language for embedded by far. Despite it's reputation I think it's an easy to use language.
12.
by kevlar700 2y ago
True though from what he has said early on in it being more of a hobby and liking building tools then I am sure he would welcome any help or input.
13.
by kevlar700 2y ago
Spark supports borrowing which is easier to use than Rusts now. It also prevents memory leaks.
14.
by kevlar700 2y ago
Agreed. It would also alleviate the maintenance issue as Ada was designed to reduce software costs. Realistically the obly way this will have any chance is if a few developers were funded full time to work on it. There seemed to be a few fu
15.
by kevlar700 2y ago
The real benefit of Adas typing is that it is so easy to utilise often preventing logic errors.
16.
by kevlar700 2y ago
Why? The code you compile isn't infected by the runtime license?
17.
by kevlar700 2y ago
Ada is so good for embedded. Loving it.
18.
by kevlar700 2y ago
Interesting. I love Ada and these historical doomed to repeat ourself facts are interesting like Ada books from the 80s talking about AI. Before I switched from Go to Ada I actually used to use var upfront out of preference.
19.
by kevlar700 2y ago
Adas specification was developed competitively over a number of years with embedded development as well as the ability to replace all 450 languages in use by the D.O.D. at the time as requirements. Rusts first official specification is stil
20.
by kevlar700 2y ago
I'm not afraid of functional programming. I just dislike it. I avoid recursion in Ada personally (others like it). I think OOP is over rated and the clarity of imperative is under rated. Though I do like how Ada provides object oriente
21.
by kevlar700 2y ago
Ada goes beyond memory safety.
22.
by kevlar700 2y ago
Rust tries with a crate and traits but it misses out on e.g. record memory overlays which are so powerful in Ada. Type design is beautifully intuitive for the main part in Ada too. Restricting your parameters with ease means there is less l
23.
by kevlar700 2y ago
Honestly Ada is far better than Rust for close to metal as it was designed for it. It is also safer and easier to use than Rust. Ada has also been demonstrated to be more cost effective over a programs lifetime than C, C++ and Java. I also
24.
by kevlar700 2y ago
They have improved go modules since but if you didn't use github gos tooling wasn't so great. I actually dropped Go for Ada and prefer Adas packaging.
25.
by kevlar700 2y ago
literally alr init --bin new_project cd new_project alr edit
26.
by kevlar700 2y ago
Did you come across? https://learn.adacore.com
27.
by kevlar700 3y ago
I chose Ada over Rust for my company a few years ago and couldn't be happier. My entire embedded and tooling code bases are now Spark compatible. I don't believe any language can match Ada for drivers, memory register and network
28.
by kevlar700 3y ago
Ada has been shown time and again to be more cost effective than C, C++ or Java. Even in the old days before Ada2022 and Spark 2014s recent improvements. http://sunnyday.mit.edu/16.355/cada_art.html
29.
by kevlar700 3y ago
Ada is very flexible and does let you leave out the runtime check. However the program will be stopped or atleast be exceptive by default if a logic error creates an invalid value that you haven't checked the validity of. Spark can be
30.
by kevlar700 3y ago
That's unfortunate. Ada is so much nicer to work with and Spark now has deallocation safety and memory leak prevention. https://youtu.be/97G1V2U8Drk?si=wNqNs1GiuO9ZdGwP

More ›