[по мотивам fprog] как сделать «обратный» DSL на haskell (а не ocamlp4)

Еще интересно мнение по поводу подходов 1 и 2. Имеет ли подход 2 право на жизнь, или только п.1 ?

Является ли невозможность «перегрузить все» (необходимая для п.2) недемократизмом языка (вспоминаем лисп)?

1. Хаскель или примочка к нему позволяют иметь доступ хотя бы на чтение к AST?

http://www.haskell.org/haskellwiki/Template_Haskell

какое слово отсюда тебе непонятно?

www.cs.rice.edu/~taha/publications/journal/dspg04b.pdf

а здесь - статья, сравнивающая возможности TH, шаблонов C++ и Meta OCaml

второго вопроса я не понял

TH вроде как оно.

по п.2: где граница, после которой надо запрещать перегрузку?

template<class T> 
Plus<T> operator+(T a, T b) { return new Plus<T>(a,b); } // проходит

template<class T> 
IfThenElse<T> operator?: (bool cond, T _then(), T _else() ) { return new IfThenElse<T>(cond,_then,_else); } 
// запрещен по делу или нет?

template<class A, class R, R f(A)> 
FunDef<A,R,f> operator "(){}" () { return new FunDef<A,R,f>; }
// оператор определения функции... ну и так далее

забыл три звездочки поставить: Plus<T>* и т.д.

http://pozorvlak.livejournal.com/95054.html

http://lj.rossia.org/users/helvegr/6073.html

это просто чтоб не потерять

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

switch (match $ \(T1 a b c) -> ...) (match $ \(T2 e f) -> ...) endswitch

Есть хорошие шансы получить реально работающую весч.