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

L>2. "Что такое выкрутасы с системой типов Хаскеля? Вот мы тут с konsoletyper про Parsec говорили. Это выкрутасы?" (до сих пор не знаю о чём идёт речь)

Откровенно говоря, для более детального обсуждения было бы неплохо:
1. Иметь реализации одинаковых грамматик на обсуждаемых системах парсинга (ведь мы уже говорим не совсем о Хаскеле или Немерле, а об ДСЛ-ях созданных на их базе).
2. Краткое описание принципов реализации и других деталей.

Без этого, учитывая теоритические знания предмета с обоих сторон, нам вообще тяжело будет разговаривать.

Так что может все же лучше взять более менее законченный пример (может по проще, но все же реальный) и реализовать его двумя способами. Далее описать, что и где нужно установить чтобы можно было поиграться с ним и тогда уже обсудить конкретику. А?

L>3. "Где монады при использовании Парсека?" Это к вопросу о простоте.

Про монады не знаю. Думаю, речь шла "в общем". Уж больно много выкртасов в Хаскеле через них протаскивается.