Adaって、C並にガリガリの組込用言語だと思ってるんだけど。
Cの場合実装依存として投げてしまってる部分を、
全部ガッチガッチに文法にしてコンパイルエラー出せるようにしてあるから
仕様がでっかくなってるだけで。