там же они операционку пишут, то что там хаскль нужен - очень побочное требование
не побочное. Там на хаски кодогенератор. На вход поступает файл настройки со списком правил, которые позволяют запрещать или разрешать различные действия для не доверенногой части системы. На выходе бинарь, который "прошивается" в доверенное ядро ос. Короче код на сишке генерят, сишку знать нужно
Cinder
Нурлан
Алдар
Aragaer
Serghei
Max
Aλeχ
Dmitry
Alexander