O GNAT Pro for Rust está atualmente em Early Access para alguns clientes e oferece compilador (rustc), gerenciador de build e pacotes (cargo) e depurador (gdb) para Linux x86_64 e alvos Linux cross.
Quando o GNAT Pro for Rust 25 for lançado oficialmente, ele oferecerá integração completa com o gprbuild, além de fornecer binding bidirecional avançado entre Ada e Rust, ao mesmo tempo em que dará suporte a mais plataformas.
gprbuildé o sistema de build para Ada e C/C++ usado no GNAT Studio.
Há planos para que o GNAT Pro for Rust ofereça suporte a requisitos de certificação de segurança de software para aeronaves (DO-178), ferrovias (EN-50128) e espaço (ECSS-E-ST-40C e ECSS-Q-ST-80C), entre outros. O roadmap da AdaCore inclui certificação de bibliotecas da linguagem (como um subconjunto da libcore), estudos de rastreabilidade entre código-fonte e objeto e certificação do compilador (certificação de ferramenta), semelhantes ao que já está disponível no GNAT Pro para Ada e no GNAT Pro para C/C++.
4 comentários
Tomara que os MCUs também deem uma força.. -_-;
Ouvi por alto que na nossa empresa também houve conversa sobre adotar Rust, e parece que a conclusão foi que a AdaCore precisa se esforçar mais... (por causa de questões de certificação e afins)
Parece que a área de embarcados vai ficar interessante. Se também oferecer suporte para o setor automotivo (26262 etc.), acho que o mercado pode crescer bastante.
Há muitos esforços para usar Rust em sistemas embarcados, e parece que a AdaCore está avançando para oferecer um ambiente de desenvolvimento com certificação até das ferramentas. (Softwares críticos para a segurança, como os de aviação, exigem que até as ferramentas usadas no desenvolvimento sejam certificadas.)