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

EC>Имеются в виду взрослые макросы a-la Lisp или Nemerle, а не те, что в C.
EC>Или так: нужны ли макросы в таких языках как Haskell?

Сначала ответь на похожие ответы из жизни:
1. Являются ли печки не нужными если есть автомабили с хреновым охлождением двигателя и хреновой теплоизоляцией в которых движок греет ноги?
2. Является ли не нужной ложка если в прниципе суп можно хлебать через край тарелки, а гущу есть вилкой?
...

В общем, являются ли ненужными прмые решения предназначенные для решения каких-то проблем, если тоже самое можно сделать "через жопу, автогеном" (с)?

Вот та же фигня с использованием перенавороченных систем типов Хаскеля и С++. Они конечно позволяют решать те же проблемы, что и прямые средства, но делают это уж очень извращенным способом и дают в результате не очень качественный результат.

Макросы же — это прямое решение проблемы. При этом совсем не обязательно иметь примитивную систему типов. Она может быть сложна и гибка. Вот толко к ней уже не нужно предявлять требований полноты по Тюрингу.