История изменений
Исправление iZEN, (текущая версия) :
Доказана типобезопасность подмножества Rust.
Типобезопасность ADA, Pascal и Modula доказаны ещё в 1980-х, а рокета Ariane-5 почему-то не взлетела.
Исходная версия iZEN, :
Доказана типобезопасность подмножества Rust.
Типобезопасность ADA, Pascal и Modula доказаны ещё в 1980-х, а рокета Ariane-5 почему-то не взлетела.