я в браузере и другими фичами пользуюсь. например, переключаюсь между вкладками

Всем привет! Пытаюсь сделать Part. b главы 5 (семантический анализ) из Modern Compiler Implementation in ML by A. Appel, а именно проверку корректности "вложений" break'ов (проверку взаимно-рекурсивных ф-ций сделал). Хочу посоветоваться как лучше это реализовать. На ум сходу приходят 2 способа:
1) Таскать с собой путь (стек) до корня АСТ и тогда в соотв. ф-циях, которые проверяют определённый тип узла (можно не во всех). Тогда у нас будет достаточно информации, чтобы выполнить такую проверку (посмотреть что встретится раньше — узел цикла или ф-ции).
2) Параметризовать ф-ции, проверяющие соотв. тип узла белым или чёрным списком разрешённых или запрещённых типов узлов, тогда это ещё проще проверить. Тут я пока не продумал до конца
3) ?

https://github.com/vyorkin/tiger/blob/2e777cdea4ea69f9158525b097499cb34ed8f97f/chapter5/lib/semant.ml#L37

Пробую пока сделать 1)

P.S. Никогда не писал ничего подобного, поэтому то, что я делаю может выглядеть очень странно

Да. Это идеализированная виртуальная архитектура, описанная в стандарте. На нее должны все равняться.

Я бы с радостью с вами поспорил о том, на кого равняться при разработке языков. И почему нельзя равняться на "young, fresh out of school. They probably learned C or Java, probably Python. They are not able to understand genius language, but we want them to be productive". Пинганите меня в @pofftop. Этот спор не для компиляторного чата.

В моей фразе подразумевался этап проектирования ЯП, а не его использования.

А по поводу архитектуры в стандарте —- она должна бы быть формально описана в разделе "динамическая семантика". Но много ли Вы встречали стандартов с подобным разделом? :)

В моих языках на raddsl схема проста — есть неявный и неизменяемый контекст — набор атрибутов:

while_stmt = with_context(rule(
    While(let(E=expr), let(B=block)), ...
in_loop=1))

break_stmt = seq(Break(), has_attr("in_loop"))

Интересно, спасибо, не знал про raddsl

Тут главное — использовать вложенность функций самого семантического анализа для проверки правильной вложенности анализируемых конструкций. Можно обойтись без состояния, если внутри блока while вызывать специальную версию функции для анализа блока — которая будет учитывать наличие break. А для произвольного блока, соответственно, наличие break в последовательности предложений будет означать ошибку.

Понял, да, я так себе и представляю реализацию. Пойду пробовать. Нужно больше тестов добавить

Как вы тестируете части своих компиляторов? Так же, как и что-то другое? Модульные\проперти тесты пишете? Мне кажется, что это должны быть очень надёжные тесты

модульные и проперти, как обычно

Пишу наборы тестовых программ для основных этапов компиляции.  Для собственных DSL обязательно пишу генераторы тестовых программ.

Спасибо.
Мне как-то давали следующие 2 пейпера по синтезу\генерации программ почитать, но я пока не брался за них:
http://www.cse.chalmers.se/~russo/publications_files/AST2011.pdf
http://janmidtgaard.dk/papers/Midtgaard-al%3AICFP17-full.pdf

Попробую разобраться. Для игрушечного компилятора по книге мб это перебор, но если я хочу научиться делать по-взрослому, то придётся научиться это нормально тестировать

Тогда не будет возможностей для оптимизации под архитектуру. Паддинг там всякий и тому подобное.

Даже в физических процессорах есть разделение на архитектуру команд (ISA) и микроархитектуру. Что же мешает в абстрактном процессоре абстрагироваться от несущественных моментов, задав ту же SOS-семантику? :)

В моем случае хорошо работает генерация по грамматике для синтаксиса и набор ограничений с SMT-решателем для семантики.

$ gcc --version
Configured with: --prefix=/Library/Developer/CommandLineTools/usr --with-gxx-include-dir=/usr/include/c++/4.2.1
Apple LLVM version 10.0.0 (clang-1000.10.44.4)
Target: x86_64-apple-darwin17.7.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin

Феерично! Не ожидал такого... 😂

$ gcc --version
Configured with: --prefix=/Library/Developer/CommandLineTools/usr --with-gxx-include-dir=/usr/include/c++/4.2.1
Apple LLVM version 10.0.0 (clang-1000.10.44.4)
Target: x86_64-apple-darwin17.7.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin

а что не так? на macOS gcc бинд же на шланг

О, я помню бородатые времена gcc-llvm