Комбинаторы парсеров на LINQ

[metaclass]

Таки дорвался использовать Monadic Parser Combinators. Достаточно удобно, можно думать категориями Parsec-а, но ошибки компилятора или стеки вызовов при рунтайм-ошибках выглядят ужасающе.
Кстати, по моему, там TValue[] в Rep и Rep1 надо на IEnumerable заменить

Пришлось таки сделать иммутабельный список (как обычный хаскелевый) для входных токенов, а то по ссылке автор там хитро обошел - каждый раз при получении символа из строки создает новую подстроку-хвост. Как-то нехорошо это выглядит. А с обычными мутабельными итераторами дотнета это вообще работать по определению не будет.

Теперь думаю, куда бы это контекст со списком парсеров(которые изменяются по ходу разбора) засунуть. Тут подсказали стрелки, но как оные стрелки впихнуть в дотнет и LINQ это отдельный вопрос. Наверно, имеет смысл список парсеров (вернее map идентификатор -> парсер) поселить вместе со входным списком токенов и наколбасить хитрых парсеров, которые кроме того, что потребляют токены, еще и меняют список.

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

Comments

[j-sheridan.livejournal.com]

А ты Лепестки Розы (http://gusew.livejournal.com/106191.html) разгадал? :)

[metaclass.livejournal.com]

Тяжкий ад.

[j-sheridan.livejournal.com]

Там все просто :) Я гдето за полчаса (http://j-sheridan.livejournal.com/151331.html) разгадал :)

[guamoka.livejournal.com]

Ну деццкий сад же ведь:-) Как чувствовал.


Roll #10.

"...The name of the game is Petals Around the Rose?"

"Right, and the name is significant."

[metaclass.livejournal.com]

Ага, разгадал. Что-то с утра как-то быстро понятно стало.

[guamoka.livejournal.com]

Угу. Меня порадовал нестандартный подход Б. Гейтса- просто запомнить комбинации. Я бы лично Билла проверил (на всякий случай): добавил бы еще пять костяшек и посмотрел, что он скажет;-)

[metaclass.livejournal.com]

Кстати, это очень полезный подход для некоторых задач, где вывести аналитическую зависимость вообще непонятно как. Вместо этого делается база знаний покрывающая большую часть входного домена, с обращением к гуру-экспертам в неясных случаях.

[guamoka.livejournal.com]

Ну, вообще говоря да. К решению можно прийти, определив статистически корреляцию между ответами и выпадающими костями. Думаю, тоже легко покажет, куда надо смотреть.

[demon-gloom.livejournal.com]

Была задачка где показывалось число и спрашивалось 863458 = 5 и типа эту задачку любой первокласник решал, т.е. мог обьяснить почему. Решение было в колечках. 8 - 2 колечка, 6 - 1 и т.д. В лепестках тот же принцип.

[guamoka.livejournal.com]

точно. вот она у меня все время в голове вертелась, но вспомнить, как, что и где я не мог.

[lionet.livejournal.com]

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

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

Парсинг на стрелках же прекрасен в этом отношении.

[permea-kra.livejournal.com]

Можно ткнуть пальцем в статью про парсинг на стрелках?

[lionet.livejournal.com]

google: Swierstra & Duponcheel

also, check http://en.wikibooks.org/wiki/Haskell/Understanding_arrows

[permea-kra.livejournal.com]

thanks a lot.

[metaclass.livejournal.com]

По ссылкам вчера добрался до статьи про нотацию для стрелок: http://www.soi.city.ac.uk/~ross/papers/notation.html

Короче, с 17 страниц меня сморил сон с кошмарами про парсеры, стрелки и дотнет, а сегодня я продолжил читать дальше, дошел до нотации c -> -< и понял, что если я чего-нибудь такое привнесу в продакшен, это будет плач, скрежет зубовный и вакансии для хаскелистов, когда я в дурку таки слягу :)

[lionet.livejournal.com]

Это дерьмовая статья такая. Не унывай. Забей лучше.

[metaclass.livejournal.com]

Не, статья вроде нормальная, т.е. все понятно.
Но мысль "объяснить стрелки свежепринятому на работу студенту" у меня вызывает приступы необъяснимого злорадства.
Очень хочется посмотреть на лицо руководства, когда оно поймет, что из-за экономии на закупку пару десятков обезъянокодеров оно оказалось с проектом, на который придется выписывать гуру из академической среды и мирится с тем, что у него в головах зловещие мертвецы и змеи :)

[permea-kra.livejournal.com]

>>Пришлось таки сделать иммутабельный список (как обычный хаскелевый) для входных токенов ... Как-то нехорошо это выглядит.

Эээ. А в чём проблема сделать константный массив а обертку с кастомными head && tail, если противно видеть списки ?

[metaclass.livejournal.com]

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

[permea-kra.livejournal.com]

Это тяжкое наследие хаскеля .