Ada/SPARK, marketing, reach and the abysmal state of things
Irvise, Ada Forum user
An Ada Forum thread in December 2025 noted community concern over Ada/SPARK's absence from recent ACM SIGPLAN research videos on formal verification and software quality. Developer Heziode announced Aclida, a formally verified CLI framework under development, aimed at addressing the ecosystem gap highlighted by Rust's system utility rewrites. Participants pointed to concrete adoption barriers, including packaging complexity for Linux distributions, unfamiliar tooling, and the lack of compelling proof-of-concept projects. While no agreement emerged on whether outreach should be driven by AdaCore or the community, several contributors argued that focusing on safety-critical niches rather than broad adoption was a more realistic direction.