Здравствуйте, VladD2, Вы писали:

VD>Спорным в этом проекте можно назвать использование метапрограммирования на основе супер-мощьной системы типов (полной по тьюрингу). Но учитывая, что эта система типов используется для контроля надежности программы, может быть это и не страшно.

Тьюринг-полные системы типов обладают тем недостатком, что компилятор вместо выдачи внятной диагностики при ошибке может просто зависнуть.