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
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?