Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System

manufacturing.net

Post reply on HN
Print view View original

111–120 of 203 posts

Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System

#111

Post by 7thaccount »

Rochus wrote: post #108
7thaccount wrote: post #93

Earlier quoted context omitted.

The free part is confusing as it is GPL'd and I don't understand what the runtime exceptions mean. It's confusing to me where the boundaries are and when I would have to switch to the commercial version (and get a quote) to make paid and closed source software instead of using the community language. Ada is great, but I'll never use it past hobby status under these conditions.

The FSF GNAT version, in contrast to the AdaCore GNAT version, comes with the RLE (see https://www.gnu.org/licenses/gcc-exception-3.1.de.html ). This means that the code generated from closed-source Ada applications may be linked with the runtime library included with FSF GNAT without GPL violation. With the runtime library included with the AdaCore GNAT this is not true. So in practice you have to use FSF GNAT for c…

Thank you! Is the FSF GNAT version ancient or pretty close to the Adacore version in terms of updates?

Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System

#112

Post by termie »

pjmlp wrote: post #106
jimktrains2 wrote: post #103

Earlier quoted context omitted.

Where does it say syntax is against rust. It seems like no commercial vendor meaning no plans for certification combined with no spark equivalent we're the reasons.

Watch the video, slides are just one part. Part of "Determine the difficulty and learning curve for others".

Rust is also discussed at 35:00 into the presentation, noting the lack of a spec, higher memory util, and no commmercial vendor.

Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System

#113

Post by mitjak »

carlmr wrote: post #95
Lucretia9 wrote: post #94

Earlier quoted context omitted.

No, it really cannot. It's a person's name.

Americans really love acronyms that spell out a word. BASIC is a word, and it means Beginner's All-purpose Symbolic Instruction Code. I don't know why you think it's impossible to have an acronym spell a name?

lol because it's not an acronym in this case, as stated

Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System

#114

Post by fluffything »

termie wrote: post #112
pjmlp wrote: post #106

Earlier quoted context omitted.

Watch the video, slides are just one part. Part of "Determine the difficulty and learning curve for others".

Rust is also discussed at 35:00 into the presentation, noting the lack of a spec, higher memory util, and no commmercial vendor.

Yeah, Rust is not certified, and probably can't be certified without a spec.

Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System

#115

Post by c-cube »

tasogare wrote: post #104
_1gwx wrote: post #6

Not 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…

Rust is akin to the JS framework du jour in respect to safe languages: overpaid bored engineers started a project without bothering checking existing work or dismissing what they found, then they market the resulting (still unfinished) language as something radically new and solving most programming language issues. Some people followed because of the novelty effect and the company that spanned it, which allowed for…

That is just incorrect. Ada seems pretty nice, but it does not have a borrow checker, does it? I think deallocation is considered unsafe?

Documentation points to [Unchecked_Deallocation](https://docs.adacore.com/live/wave/arm12/html/arm12/arm12-13...) . Rust has automatic (as in, you don't even need to call `free()`), safe deallocation of resources. Of course, the syntax, ergonomics, and the modern looking website and documentation also helped rust become popular, but it is technically new (for a mainstream language).

Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System

#116

Post by [deleted] »

fluffything wrote: post #114
termie wrote: post #112

Earlier quoted context omitted.

Rust is also discussed at 35:00 into the presentation, noting the lack of a spec, higher memory util, and no commmercial vendor.

Yeah, Rust is not certified, and probably can't be certified without a spec.

[deleted]

Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System

#117

Post by carlmr »

mitjak wrote: post #113
carlmr wrote: post #95

Earlier quoted context omitted.

Americans really love acronyms that spell out a word. BASIC is a word, and it means Beginner's All-purpose Symbolic Instruction Code. I don't know why you think it's impossible to have an acronym spell a name?

lol because it's not an acronym in this case, as stated

The previous poster said it could be both, not that it is both. Apparently a lot of people think it is, which is because it's such a commonplace phenomenon.

That it is a person's name is orthogonal to whether it could be an acronym.

Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System

#118

Post by steveklabnik »

NationalPark wrote: post #102
_1gwx wrote: post #6

Not 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…

Compare the Ada getting started page to the Rust getting started page: https://www.adacore.com/get-started vs https://www.rust-lang.org/learn/get-started Ada asks you to compare four versions of GNAT and prominently displays "request pricing" buttons. Rust gives you a compiler, a package manager, some IDEs with Rust integrations, and a link to the Rust Book. In point of fact, Ada has quite a bit of historical baggage…

I decided to take a weekend and poke around with Ada last year, and wrote a stream-of-consciousness blog post about it https://steveklabnik.com/writing/learning-ada

Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System

#119

Post by steveklabnik »

baq wrote: post #29
adamnemecek wrote: post #16

Earlier quoted context omitted.

Programming Rust by O'Reilly, haha.

I get why this is downvoted but it is solid advice: in C you absolutely have to track ownership and lifetimes of pointers and pointees, but the compiler is free to not help you in any way. Learning rust will make you a better programmer. Thus, the recommendation is very good.

It is not solid advice to suggest a book that's not even about the language that's being asked about.

There's a number of reasons why it's not solid advice, but here's a huge one: you have no context for why the person is asking. Maybe they already know Rust, and want to learn C. It comes off extremely poorly. I downvoted your parent myself, even.

Re: Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System

#120

Post by gumby »

NationalPark wrote: post #102
_1gwx wrote: post #6

Not 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…

Compare the Ada getting started page to the Rust getting started page: https://www.adacore.com/get-started vs https://www.rust-lang.org/learn/get-started Ada asks you to compare four versions of GNAT and prominently displays "request pricing" buttons. Rust gives you a compiler, a package manager, some IDEs with Rust integrations, and a link to the Rust Book. In point of fact, Ada has quite a bit of historical baggage…

Ada a proprietary language; quite the contrary: it was standardized right up front, in an effort by the DoD go get a common language at a time when proprietary languages were the norm.

That’s about the only nice thing I personally have to say about Ada so I’ll stop here.

Post reply on HN