Можно ещё посмотреть на библиотеку FastParse известного Li Haoyi. Не на макросах, а интерпретируемая, так что по скорости работы уступает, но не слишком; зато есть полная поддержка higher-order rules, проще отладка (которой уделено приличное внимание).
Как я понял из чтения рассылыки — Александр Мыльцев вдохновившись этой библиотекой, и пытаеся сделать DSL похожим. Код парсеров должен получиться короче. Такой подход мог бы подарить еще больше производительности: если рассматривать парсер как единое целое, и применять соотвтестующие оптимизации ко всем правилам сразу. Сейчас, в Parboiled2 парсер рассматривается как набор достаточно независимых правил, поэтому оптимизации применяются к правилам, а не всему парсеру.
Про Parboiled