Исходное сообщение
"Первый бета-выпуск Arti, реализации Tor на языке Rust" Отправлено Аноним, 03-Мрт-22 15:49
>>>>>> ... Low*, a subset of F* ... Это один и тот же язык? >>>>> KreMLin is a tool that extracts an F* program Вот именно, этот инструмент может вытащить только то, что может вытащить, из более общего/мощного языка. При этом KreMLin даже из подмножества (Low*) не всё вытаскивает. >>> any Low∗ program is memory safe. >>> F* actually builds a mathematical proof that it is safe and correct Бессистемная художественная аппликация из цитат. Ты не понимаешь разницы между F*, Low* и KreMLin, и библиотек в составе других проектов. Дергаешь цитаты из разных языков. И даже там, все эти "безопасности" сказаны с использованием речевых оборотов "в силу сказанного".