As for me, Ada is an excellent language for safety applications but too much under control of a single company. GNAT is open source, that's fine. However, desp

As for me, Ada is an excellent language for safety applications but too much under control of a single company. GNAT is open source, that's fine. However, despite this fact it is almost impossible for someone to write a new Ada compiler, or a transpiler from a modern syntax to classical Ada because there is no complete BNF grammar out there. I honestly planned to write such such a transpiler but it didn't work out because I lacked a fully specified BNF grammar. I complained about that in an Ada forum, and the insiders there confirmed that there actually is no downloadable BNF. There is just a BNF for Ada 95 which is pretty outdated. So, if I wanted to get the full BNF for Ada 2012+ I would have to dive into all the Ada Reference Manual and Rationals to scratch a suitable grammar together. That's way too much effort for me.