Декларативные макросы в Rust — насколько они мощные? Можно ли написать на них транслятор сложного языка?

Теоретически можно. В Rust Тьюринг-полная система макросов, так что нам подвластны любые программы. Однако на практике задача может оказаться слишком сложной.

Марк Шевченко попробует написать лексический анализатор, реализовав на макросах язык, похожий на язык программы lex. Во время доклада нам предстоит преодолеть непреодолимые препятствия и пойти на неизбежные компромиссы. Узнаем, ждёт ли нас Happy End.