News for hackers. Stuff that matters.

A comment on Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System. Parent comment

Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by jimktrains2 on Wednesday September 16, 2020 @09:16AM (#24492392)
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.
[ Parent | on HN ]
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by pjmlp on Wednesday September 16, 2020 @09:38AM (#24492580)
Watch the video, slides are just one part.

Part of "Determine the difficulty and learning curve for others".

[ Parent | on HN ]
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by termie on Wednesday September 16, 2020 @09:57AM (#24492744)
Rust is also discussed at 35:00 into the presentation, noting the lack of a spec, higher memory util, and no commmercial vendor.
[ Parent | on HN ]
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by fluffything on Wednesday September 16, 2020 @10:00AM (#24492763)
Yeah, Rust is not certified, and probably can't be certified without a spec.
[ Parent | on HN ]
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by ifmpx on Wednesday September 16, 2020 @10:11PM (#24500446)
> and no commmercial vendor.

So it's about liability. Makes sense.

[ Parent | on HN ]