Стрелки и парсеры

[metaclass]

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

Так вот, насчет парсеров - возможна ли такая шиза: написать парсер на парсеке, а потом подсунуть ему какую-нибудь другую монаду, чтобы он вместо парсера сделал AST этого самого парсера, из которого можно было бы сгенерить код на другом языке?

Comments

[lionet.livejournal.com]

Да ну? Почему тогда стрелками можно разобрать контекстно-свободную грамматику, а монадами — контекстно-зависимую?