Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System
1–10 of 203 posts
Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System
#2That's certainly one way to minimize amount of code in the system, making it easier to review and presumably certify.
I feel that with more common languages, it is so easy to grab some open-source library and use it without any code review whatsoever. Even if you prohibit third-party code, there might still be some copy-paste from open source projects and even Stack Overflow.
Mandating that everything is written in Ada language neatly prevents all this stuff.
Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System
#3I don't care at all for the underscore-heavy style but otherwise Ada is actually a great language for developing high-reliability systems like avionics. Formal specification and verification are only going to grow more important in aircraft certification as time goes on.
Nice to see the defense/aerospace sector giving a nod to free software like gnat.
Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System
#4That's certainly one way to minimize amount of code in the system, making it easier to review and presumably certify. I feel that with more common languages, it is so easy to grab some open-source library and use it without any code review whatsoever. Even if you prohibit third-party code, there might still be some copy-paste from open source projects and even Stack Overflow. Mandating that everything is written in A…
I would imagine it would be even more helpful if there is open source library that has formal specification a la seL4 but probably I am hoping too much.
Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System
#5That's certainly one way to minimize amount of code in the system, making it easier to review and presumably certify. I feel that with more common languages, it is so easy to grab some open-source library and use it without any code review whatsoever. Even if you prohibit third-party code, there might still be some copy-paste from open source projects and even Stack Overflow. Mandating that everything is written in A…
Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System
#6Not an expert in ADA, but after playing around with it for a while, I don't know why this language doesn't get more praise. It seems to solve a lot of the memory problems Rust solves, albeit in a different way. Its first-class arrays and strong type system seem to go a long way into not having to deal with pointers often, for example. These "features" today would likely be considered part of "a better C", except that none of this is even new; ADA dates all the way back to the 80s. And then ADA/Spark allows for formal verification, which C/Rust do not have to my understanding.
Why is ADA not adopted more broadly?
Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System
#7Not an expert in ADA, but after playing around with it for a while, I don't know why this language doesn't get more praise. It seems to solve a lot of the memory problems Rust solves, albeit in a different way. Its first-class arrays and strong type system seem to go a long way into not having to deal with pointers often, for example. These "features" today would likely be considered part of "a better C", except that…
Why Ada Isn’t Popular: https://news.ycombinator.com/item?id=7824570
Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System
#8Not an expert in ADA, but after playing around with it for a while, I don't know why this language doesn't get more praise. It seems to solve a lot of the memory problems Rust solves, albeit in a different way. Its first-class arrays and strong type system seem to go a long way into not having to deal with pointers often, for example. These "features" today would likely be considered part of "a better C", except that…
There was recent Thread with lot of discussion over topic :)
https://news.ycombinator.com/item?id=24360310
Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System
#9Not an expert in ADA, but after playing around with it for a while, I don't know why this language doesn't get more praise. It seems to solve a lot of the memory problems Rust solves, albeit in a different way. Its first-class arrays and strong type system seem to go a long way into not having to deal with pointers often, for example. These "features" today would likely be considered part of "a better C", except that…
> Why is ADA not adopted more broadly?
The Ada specification is huge. You can learn 90% of C with K&R 2.
Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System
#10Not an expert in ADA, but after playing around with it for a while, I don't know why this language doesn't get more praise. It seems to solve a lot of the memory problems Rust solves, albeit in a different way. Its first-class arrays and strong type system seem to go a long way into not having to deal with pointers often, for example. These "features" today would likely be considered part of "a better C", except that…
> Why is ADA not adopted more broadly? The Ada specification is huge. You can learn 90% of C with K&R 2.
The problem is that using C in practice is not covered by K&R.