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

D>ИМХО, задачи повышения абстракции просто решать ни в каком языке не получится. Абтракцию сперва абстрагировать надо. Причём в контексте наличного языкового инструментария.
ммм, не понял, что ты тут имел в виду...

D>Что касается Template Haskell, где есть квазицитирование a-la Nemerle, то я не вижу, чтобы народ активно этим пользовался. Для Haskell'а это немножко инородно и тяжеловесно выглядит, хотя это, опять же, ИМХО.
template-то как раз никто не произносил тут пока
Хотя с другой стороны вопрос — а почему оно инородно?
Может оно там и не нужно особо-то и имеющихся средств вполне хватает для сих нужд?