Но что нам делать с окамлем, который тоже надёжный, и который заявляется как системный язык программирования? Который и послужил источником внохновения для языка программирования Rust. Неужели разработчики на Аде на каждом шагу упоминают окамль? А может быть они невежды?