AdaCore Announces Gnat Pro for Rust

Re:AdaCore Announces Gnat Pro for Rust by cmrdporcupine on Saturday September 30, 2023 @05:46PM (#37720188)

So I guess I'm not clear about this -- have they implemented a fresh new compiler that runs on the GNAT toolchain? Or is this a stable/certified fork of the existing Rust LLVM-based toolchain with a GNAT branding overtop of it? Or something inbetween? What about associated tools like Cargo? Rustanalyzer, Rustfmt, etc.? What version of Rust do they currently target? What about 3rd party crates support etc?

FWIW I work professionally in a space which is likely one of their target markets (autonomous/precision agriculture) on a system in Rust (and C++). I skimmed through the pages but didn't find a technical explanation of what they're offering.

[ Parent | on HN ]

Re:AdaCore Announces Gnat Pro for Rust by jiehong on Saturday September 30, 2023 @06:55PM (#37720747)

> GNAT Pro for Rust is currently in early-access for select customers and provides a compiler (rustc), a build and package manager (cargo), and a debugger (gdb) for x86_64 Linux and Linux cross targets.

[ Parent | on HN ]

Re:AdaCore Announces Gnat Pro for Rust by filiphorvat on Saturday September 30, 2023 @07:04PM (#37720811)

So are they basically packaging a toolchain and selling support for it like RHEL or what? Because I doubt they managed to create a full rust spec.

[ Parent | on HN ]

Re:AdaCore Announces Gnat Pro for Rust by cmrdporcupine on Saturday September 30, 2023 @07:59PM (#37721159)

It just seems crazy to put the GNAT label on it... when it isn't GNAT.

Unless they're doing something clever like taking LLVM IR and translating and putting it through the GNAT backend or something?

[ Parent | on HN ]

Re:AdaCore Announces Gnat Pro for Rust by simon_void on Saturday September 30, 2023 @07:25PM (#37720957)

So I'm pretty sure they're doing something similar to Ferrous systems, since they worked together with them until very recently, Qualifying Rust without forking: https://ferrous-systems.com/blog/qualifying-rust-without-for...

[ Parent | on HN ]

Re:AdaCore Announces Gnat Pro for Rust by dgacmu on Saturday September 30, 2023 @08:03PM (#37721183)

I'm in a related area and I'd be pretty surprised if this is directly relevant -- are you doing ISO-9001 certification?

Right now, they're just offering rust, but with the ability to use it in a certified environment. In the future they plan to offer Ada+rust interop.

[ Parent | on HN ]