Недавняя новость:

Австралийские ученые создали микроядро с формально подтвержденным уровнем защиты

Спрашивается, причём тут Хаскелл? История этого микроядра забавная -- сначала эти австралийцы сделали микроядро на Хаскелле, верифицировали, конвертировали вручную на Си, и вот, наконец, доказали, что их микроядро seL4 соответствует первоначальным исходникам на Хаскелле...
Кстати, эти исходники на Хаскелле также являются и документацией по микроядру (Running the Manual).

Ссылки по теме:

Secure Microkernel Project (seL4)
Open Kernel Labs and NICTA to Deliver Verified Microkernel / Hypervisor Technology to Mobile Market
Running the Manual: An Approach to High-Assurance. Microkernel Development