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

[metaclass]

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

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

Comments

[lionet.livejournal.com]

Да.

[slonopotamus.livejournal.com]

дело все в том, что монады - всего лишь частный случай стрелок :)

[lionet.livejournal.com]

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

[deni-ok.livejournal.com]

applicative functors embed into arrows and arrows embed into monads

[ilya-portnov.livejournal.com]

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

Стрелки-то чем не угодили!? Это ж тупо обобщение хаскельного понятия функции. См. самые известные примеры стрелок - просто функции и стрелки Клейсли.

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

А вот это уже brain damage, имхо :)

[udpn.livejournal.com]

Это не брейн дэмэдж, это очень даже умная идея.

[theiced.livejournal.com]

Ой ребе, какой у вас сексуальный юзерпик.

[metaclass.livejournal.com]

Таки да, после монад, стрелок и парсеров на LINQ примерно так себя и ощущаешь.

[clayrat.livejournal.com]

чото проекциями Футамуры повеяло

[metaclass.livejournal.com]

И таки да, они там тоже будут, скорее всего.

[clayrat.livejournal.com]

мудрите

[alexey-rom.livejournal.com]

В Parsec 3 можно, в Parsec 2 нельзя.

[zerthurd.livejournal.com]

И как в Parsec 3 такое сделать?