Yes, the ecosystem definitely needs more attraction.
"People do not use it because the ecosystem sucks, and the ecosystem sucks because people do not use it."
That said, it is more than enough for many use-cases that are related to critical software.
Either way, what you should focus on is the cyber-security aspect of Ada/SPARK. It is actually the language and programming environment for secure/crticial software.
Comments
Rewrite it in an actually "safe" language, like Ada.
I don't speak for this project but when I tried Ada I was disappointed with the library ecosystem. Many things are missing.
Granted I'm not a systems programmer. Just giving you one random programmer's reason to skip it.
Yes, the ecosystem definitely needs more attraction.
"People do not use it because the ecosystem sucks, and the ecosystem sucks because people do not use it."
That said, it is more than enough for many use-cases that are related to critical software.
Either way, what you should focus on is the cyber-security aspect of Ada/SPARK. It is actually the language and programming environment for secure/crticial software.
Says you. It wasn't enough for the work I wanted to do for a fintech company.
¯\_(ツ)_/¯
What were you missing?