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

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

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

Ну, если задача хорошо решается простыми средствами, то незачем городить огород. А если простые средства по каким-то причинам не подходят (много кода, неэффективно, просто невозможно), то подключаем более мощные инструменты (макросы, ФВП, sexy types) и в терминах этих инструментов думаем как задачу решить.

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

Я не специалист в Template Haskell, так, чуть-чуть пробовал. Наверное, просто опыта нет. У Булата есть отличные tutorial'ы haskell.org/bz/th3.htm и haskell.org/bz/thdoc.htm.