Исходное сообщение
"Вышел язык спецификации бинарных форматов Kaitai Struct 0.5" Отправлено GreyCat, 11-Ноя-16 13:27
> Ну, регулярные выражения в классическом понимании не требуют сложных механизмов разбора. Ну, как минимум DFA-то требуют. Хотя что считать сложным. > P.S Обратил внимание на недостатки: > 1. В документации отсутсвует грамматика самого Katai Struct, это усложняет ознакомление. По-моему, в документации как раз ничего, кроме грамматики и нет :( Для упрощения ознакомления надо по идее писать какие-то туториалы, quick start и человеческие гайды, но мне все некогда, а кто-то еще никак не сподвигнется. Единственный гайд, который до сих пор написали - та самая статья в двух частях про реверсинг VN - но ее сложно назвать "гайдом по инструментарию". > 2. Входной документ не проверяется на корректность Ох. Как раз вроде бы теперь сильно больше проверяется. Можно больше конкретных примеров? > и генератор легко делает некомпилируемый код Это довольно многогранный вопрос, не совсем связанный с корректностью входного ksy. Например, если мы компилируем два ksy по отдельности: FormatA и FormatB, и FormatA ссылается на FormatB. На момент компиляции FormatA компилятор ничего не знает о структуре (и даже существовании) FormatB, поэтому лучшее, что он может сделать, встретив неописанный тип - просто вывести его названием, как есть, в предположении, что это тип верхнего уровня. По отдельности FormatA не скомпилируется. А вот FormatA + FormatB в одном проекте уже дадут искомую работающую связку.