3 ms·
Ada and SPARK power many safety critical things like airplanes fighter jets space rockets railways and so on. I've been recently trying to learn Ada and it's a
by borplk 12y ago
Ada and SPARK power many safety critical things like airplanes fighter jets space rockets railways and so on.
I've been recently trying to learn Ada and it's a beauty. Many people have misconceptions or think it's obsolete so they miss out.
- hga 12y agoAs I understand it having looked into Ada and SPARK (an Ada subset), there are no good free runtimes for them, i.e. ones to do serious projects with, vs. learning and open source development. That came from my investigation of this kernel: http://muen.codelabs.ch/ http://muen.codelabs.ch/