Ada、ガチガチにすることで安全を確保する言語なので仕様が巨大なので理解するのも大変だしコンパイラも重いかも？＞＜