GNAT Pro for Rust şu anda bazı müşteriler için Early Access aşamasında ve x86_64 Linux ile Linux çapraz hedefleri için derleyici (rustc), derleme ve paket yöneticisi (cargo) ve hata ayıklayıcı (gdb) sunuyor.
GNAT Pro for Rust 25 resmen yayımlandığında gprbuild ile tam entegrasyon sağlayacak, gelişmiş Ada - Rust çift yönlü bağlama sunacak ve aynı zamanda daha fazla platformu destekleyecek.
gprbuild, GNAT Studio'da kullanılan Ada ve C/C++ için bir derleme sistemidir.
GNAT Pro for Rust'un uçaklar (DO-178), demiryolu (EN-50128), uzay (ECSS-E-ST-40C ve ECSS-Q-ST-80C) gibi alanlar için yazılım güvenlik sertifikasyonu gereksinimlerini desteklemesi planlanıyor. AdaCore'un yol haritasında, Ada için GNAT Pro ve C/C++ için GNAT Pro'da halihazırda sunulana benzer dil kütüphanesi sertifikasyonu (libcore alt kümesi vb.), kaynak-obje izlenebilirliği çalışmaları ve derleyici sertifikasyonu (araç sertifikasyonu) yer alıyor.
4 yorum
Keşke MCU'lar da biraz daha güçlü olsaydı.. -_-;
Bizim şirkette de Rust benimsenmesiyle ilgili konuşmalar vardı; ben de kulak misafiri oldum ama galiba sonuç, AdaCore'un daha çok çaba göstermesi gerektiğiydi... (sertifikasyon vb. sorunlar nedeniyle)
Gömülü alanı daha ilgi çekici hâle gelecek gibi görünüyor. Otomotiv tarafını da (
26262vb.) desteklerse işin ölçeği daha da büyüyecek gibi.Rust'ı gömülü sistemlerde kullanmaya yönelik birçok çaba var; görünüşe göre AdaCore da doğrudan araç sertifikasyonuna kadar sahip bir geliştirme ortamı sunmak için devreye giriyor. (Havacılık yazılımı gibi güvenlik kritik yazılımlarda, geliştirmede kullanılan araçların da sertifikalı olması gerekir.)