О вычислениях на системах типов

[metaclass]

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

Comments

[potan.livejournal.com]

Scheme и прочие лиспы.
Или OCaml, хотя он и без шаблонов местами страшновато смотрится.

[antilamer.livejournal.com]

С приходом type families извращений стало гораздо меньше.

[nivanych.livejournal.com]

Зависимые типы, можно сказать,
для того и нужны, чтобы сделать
вычисления на типах простым и наглядным.

[nivanych.livejournal.com]

Ну, строго говоря, это не совсем так,
но для порядков > 1 годится.

[udpn.livejournal.com]

Метакласс, не воруй идеи. Я уже разрабатываю =)

Кстати говоря, если воспользоваться этим утверждением как парадигмой программирования, из него вытекает множество весьма забавных свойств языка.

Самое опасное место — не переборщить со степенями свободы. Чрезмерная синтаксическая или семантическая свобода приводит к совершенно нечитаемому коду.

[metaclass.livejournal.com]

У меня есть жуткое подозрение, что украсть идею, сформулированную на хаскеле, невозможно.

[lionet.livejournal.com]

SYB — это не извращение с системой типов. Это работа языком с предопределённой парой Typeclass'ов. Никаких извращений.

[udpn.livejournal.com]

Как сказала бы мама Шелдона, "и это только твоё мнение".