May 4th, 2007

with Cat The Cat

Я недавно про комбинаторные разборщики выпендривался.

Сегодня заглянул на LtU, а там ссылка на интересную статью:
Abstract. This paper describes a purely functional implementation of LR parsing. We formally derive our parsers in a series of steps starting from the inverse of printing. In contrast to traditional implementations of LR parsing, the resulting parsers are fully typed, stackless and table-free. The parsing functions pursue alternatives in parallel with each alternative represented by a continuation argument. The direct implementation presents many opportunities for optimization and initial measurements show excellent performance in comparison with conventional table-driven parsers.
У нас с potan был небольшой оффлайновый спор насчет наличия таблицы и оптимизированности разборщиков, полученных из комбинаторов. Вот и его разрешение.