Re[6]: Idris 2 vs Clojure. Для чего нужен (ли) Idris 2 в индустриальном коде?
От: koenig  
Дата: 29.09.25 07:41
Оценка:
С>Примерно в каждом смартфоне имеется радиомодуль и ещё несколько связанных частей, там как раз такой код и находится, и туда пока что ни один хакер не залез. Я сейчас не вспомню точное название проекта, это малоизвестная штука, европейская.

я тоже ссылочку постил, но на общем фоне — это ничто
это просто безумно дорого
на глазок я бы мог на Дафни писать, но он практически неживой
остальное умножает часы в катастрофическое число раз
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.