ragel

скажет что монадические парсеры рулят и ниипёт.

ps: вообще выглядит куда приятнее и компактнее flex'а, надо смотреть как оно себя в деле проявит

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

http://www.cs.nott.ac.uk/~gmh/pearl.pdf
http://www.cs.nott.ac.uk/~gmh/monparsing.pdf
+ ссылки на эти статьи

> есть еще что-нибудь похожее

если в сторону парсеров, есть. LALR-парсеры, те же генераторы конечных автоматов. У GOLDParser, например, есть GUI под оффтопик, описываем грамматику, тут же прогоняем тесты, видим дерево разбора, экспортируем дерево в XML или генерируем парсер на 10=15 языках (по шаблону, новый язык описывается правкой шаблона).

У Ragel тоже есть какой-то генератор парсеров по ABNF/EBNF.
Ragel интересен тем, что он универсальнее, не только для парсеров.
Было бы интересно, например, прикрутить к нему SWITCH-технологию
http://ru.wikipedia.org/wiki/Switch-технология http://www.softcraft.ru/auto/switch/umlswecl/index.shtml http://is.ifmo.ru/books/switch/1 http://www.avrorasystems.com/158/003002004/1/

http://my.opera.com/forth/blog/fsm

я уже видел, здорово разумеется, но lex был бы эффективнее

>что вообще скажете о сабже?

штука офигенная, в руби его довольно часто используют ( mongrel http server, hpricot html parser, json parser, etc ).

еще кажись в веб-фреймворке merb, для роутинга. в результате роутинг стал практически таким же быстрым, как и отдача статики.