Исходное сообщение
"Первый бета-выпуск Arti, реализации Tor на языке Rust" Отправлено Аноним, 03-Мрт-22 17:12
>>> By virtue of typing... Цитата из стороннего сайта про Low*. Еще раз повторить "Память как у рыбки?" > Балаб^W Если что, то компилятор F* компилирует/транслирует в ocaml, который с менеджером памяти и GC. Причем тут "безопасность памяти"? Low* это подмножество F*, для которого можно написать компилятор/транслятор на Си (без использования менеджера памяти и gc). HACL* - это библиотека из другого проекта с _примитивами_, которые "что-то там гарантируют". KreMLin (про который весь сыр-бор) не полностью поддерживает Low*, не может транслировать в человеко-читаемый Си-код.