AH
но вообще верифицирующие языки применяются. Их не один
Size: a a a
2018 June 13
VS
Ну из очевидных применений ,очевидно ,криптография
VS
Там как раз верификация алгоритма важна
NM
Хозяйственный мужчина никому не нужен?
g
Так точно, оно неприменимо для 99.99999% задач
Было бы интересно поработать над этой 0.00001%.
g
Именно в индустрии, а не академии. :)
I
>
() {} ;
VS
В индустрии подобного рода задачи даже не совсем понятно где
VS
Для финтеха выглядит интересно
VS
Какой-нибудь процессинг платежей со строгой верификацией,но тоже сомнительно
VS
Получается довольно низкоуровневая вещь
VK
>
() {} ;()[]{}();
g
В индустрии подобного рода задачи даже не совсем понятно где
Базы данных, распределенные системы.
VS
Базы данных, распределенные системы.
Да, похоже на то
VS
Файловые системы, кстати
VS
Ещё, возможно, протоколы обмена данными
VS
Но тут очень спорный момент
VS
В общем всё, где есть пользовательские данные, идёт мимо