Без заголовка

сам код на C, но прототип на Haskell. У меня складывается, что написание сразу двух эквивалентных программ на двух разных языках является сейчас магистральным направлением для хорошо верифицированных и надежных программ Они еще отмечают, что благодаря написанию прототипа на Хаскеле, общее время создания ядра значительно сократилась в сравнении с другими аналогичными проектами.