История изменений
Исправление XVilka, (текущая версия) :
Еще ocaml (+coq сотоварищи) де-факто стандарт в верификации и формализации математических систем и программ. Да и системы автоматического поиска (и предотвращения атак) уязвимостей проектируют на нём, см. AEG и AEP.
P.S. Руководитель проекта Haskell вроде же ушёл из MS Research?
Исходная версия XVilka, :
Еще ocaml (+coq сотоварищи) де-факто стандарт в верификации и формализации математических систем и программ. Да и системы автоматического поиска (и предотвращения атак) уязвимостей проектируют на нём, см. AEG и AEP.