metaclass: (Киборг)
[personal profile] metaclass
Слушайте, а эти ваши стрелки, это же еще более позитивный майндфак, чем монады. Голову, во всяком случае, вырывают намного быстрее.

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

Date: 2010-01-10 11:51 am (UTC)

Date: 2010-01-10 12:13 pm (UTC)
From: [identity profile] slonopotamus.livejournal.com
дело все в том, что монады - всего лишь частный случай стрелок :)

Date: 2010-01-10 12:24 pm (UTC)
From: [identity profile] lionet.livejournal.com
Да ну? Почему тогда стрелками можно разобрать контекстно-свободную грамматику, а монадами — контекстно-зависимую?

Date: 2010-01-10 01:41 pm (UTC)
From: [identity profile] ilya-portnov.livejournal.com
>> эти ваши стрелки, это же еще более позитивный майндфак, чем монады. Голову, во всяком случае, вырывают намного быстрее.

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

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

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

Date: 2010-01-10 04:31 pm (UTC)
From: [identity profile] udpn.livejournal.com
Это не брейн дэмэдж, это очень даже умная идея.

Date: 2010-01-10 01:57 pm (UTC)
From: [identity profile] theiced.livejournal.com
Ой ребе, какой у вас сексуальный юзерпик.

Date: 2010-01-10 02:00 pm (UTC)
From: [identity profile] metaclass.livejournal.com
Таки да, после монад, стрелок и парсеров на LINQ примерно так себя и ощущаешь.

Date: 2010-01-10 03:11 pm (UTC)
From: [identity profile] clayrat.livejournal.com
чото проекциями Футамуры повеяло

Date: 2010-01-10 03:29 pm (UTC)
From: [identity profile] metaclass.livejournal.com
И таки да, они там тоже будут, скорее всего.

Date: 2010-01-10 05:51 pm (UTC)
From: [identity profile] clayrat.livejournal.com
мудрите

Date: 2010-01-10 04:33 pm (UTC)
From: [identity profile] alexey-rom.livejournal.com
В Parsec 3 можно, в Parsec 2 нельзя.

Date: 2010-01-10 05:59 pm (UTC)
From: [identity profile] zerthurd.livejournal.com
И как в Parsec 3 такое сделать?

Profile

metaclass: (Default)
metaclass

April 2017

S M T W T F S
      1
2345678
9101112 131415
16171819202122
23242526272829
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 23rd, 2025 07:46 pm
Powered by Dreamwidth Studios