Впечатления от Template Haskell.

[thesz]

Голову не сломал, но повеселился.

Подмоги со стороны компилятора ждать не приходится - reify, как я уже говорил, не возвращает тело функции по запросу информации о ней. Придётся думать насчёт своей проверки типов.

Придётся думать.

Comments

[m_o_n_a_d_a]

думай Федя думай;)))

(голосом Баклажана из Жмурок)

[thesz]

Я Серёжа!

;)

Re: (голосом Баклажана из Жмурок)

[rvp74]

"Все мы в каком-то смысле Сережы" (С) "Между двух стульев", Клюев
;)

Re: (голосом Баклажана из Жмурок)

[thesz]

Я это тоже читал, но в голове ничего не рождается, сплошное Белое Безмозглое. ;)

[lomeo]

TH - это такая обрезанная возможность работы с лисповыми макросами.

http://haskell.org/pipermail/template-haskell/2003-January/000005.html
Это почему reify для функций не работает.

А при чём тут проверка типов? Ты хочешь тип функции получить по её имени?

[thesz]

Не, я хочу код в другом языке генерировать из Хаскельного. Для этого нужна информация о типах.

Про reify понял, в чём проблемы. ;)

[thesz]

Кстати, а что есть в макросах, чего нет в TH?

[lomeo]

Макросы - это тот же язык, который работает над программой и в случае, если он негигиеничен, то может создать практически любую конструкцию языка. "Программы, которые пишут программы". В TH это не так. Вспомним хотя бы инстансы и классы.