?

Log in

No account? Create an account

Заповедник репрессивной психиатрии

О вычислениях на системах типов
metaclass
Почему-то использование систем типов для всяких извращений, типа "расчеты на с++ шаблонах" или там HList или SYB в хаскеле меня бесит. Код получается выглядящим весьма странно и малочитабельно. Предположительно, метапрограммирование типа TemplateHaskell выглядело бы понятнее и логичнее - вместо вычислений на безумных свойствах систем типов используются обычные вычисления на самом языке.