Исходное сообщение
"Для ядра Linux предложен драйвер GPIO, написанный на Rust" Отправлено Аноним, 21-Июл-21 13:36
>> Что невозможно ни в C ни в С++. > Вам знаком термин "машина Тьюринга"? > Вы пытались посмотреть, на чём написан транслятор Rust?.. И? Без ограничения семантики - будет вам задача из области NP-hard (самое то для сферическо-вакуумной недетерминированной машины Тьюринга). Вменяемое время проверки - именно то, во что все еще упираются ЯП с попытками формальной верификации и "глубоких" проверок.