История изменений
Исправление Manhunt, (текущая версия) :
Они не настолько ортогональны, насколько тебе хочется считать. Давай составим список языков общего назначения, где компилятор формально верифицирует программу на предмет memory safety, и при этом сборка мусора не является обязательной.
Я начну:
1. Rust
2. ??? продолжай
Исправление Manhunt, :
Они не настолько ортогональны, насколько тебе хочется считать. Давай составим список языков общего назначения, где компилятор формально верифицирует программу на предмет memory safety, и при этом сборка мусора не является обязательной.
Я начну: 1. Rust 2. ??? продолжай
Исходная версия Manhunt, :
Они не настолько ортогональны, насколько тебе хочется считать. Огласи список языков, где компилятор формально верифицирует программу на предмет memory safety, и при этом сборка мусора не является обязательной.