Столкнулся тут с проблемой и задумался.
Как работают byte-code verifier'ы, если получается нужно код наполовину исполнить? Неизвестно же что будет на топе стака лежать и тд...
А компилятору доверять нельзя, вдруг юзер сам руками напишет байт-код. И тут либо проверять только базовые вещи, что константы, на которые ссылаются имена функций и подобные случаи, правильного типа и так далее, либо по-сути почти исполнять код, и останавливаться на местах, где что-либо откуда берется, но не вызывать, и, кстати придется даже считать, а следовательно брать типы возвращаемые и класть их куда-то. Получается придется какой-то стек с типами составлять или вроде того...
Или я слишком усложняю и это просто делается?

"почти исполнять код" в смысле проверить что Типы параметров стековых инструкций совпадают с Типами результатов предыдущих инструкций?

да. и не только.
на самом деле это очень много работы. и в рантайм это встраивать нельзя, ведь придется тогда повторяющиеся и рекурсивные моменты запоминать -> + чеки в ран-тайме
Но даже если написать такой сложный verifier, то это как мне кажется очень много работы, которая наполовину ран-тайм, в моем представлении это как ещё одна обрезанная виртуалка

да. и не только.
на самом деле это очень много работы. и в рантайм это встраивать нельзя, ведь придется тогда повторяющиеся и рекурсивные моменты запоминать -> + чеки в ран-тайме
Но даже если написать такой сложный verifier, то это как мне кажется очень много работы, которая наполовину ран-тайм, в моем представлении это как ещё одна обрезанная виртуалка

Вообще это капец как странно, я думал парсер это простая штука, в итоге оказывается что нифига это не простая штука

"чеки в рантайме" делать не обязательно. Ты можешь один раз верифаер прогнать и потом исполнять код с увереностью что от валидный

Хорошая новость любая грамматика разбираемая LR(K) сущесьвуеь эквивалетна LR(1).

Это Вы  ещё конфликт свёртка-сдвиг и свёртка-свёртка не разобрали.
Вот вам чтение на вечер - на следующий вечер.
https://www.opennet.ru/docs/RUS/bison_yacc/bison_8.html

Для этого есть rand()!

rand() это если вы фазинг делаете. А в парсере лучше делать детерминированный вариант. Либо приоритет поставить у терминала либо выбирать всегда первую ветку по порядку. Либо расщепить состояния и пройти по всем веткам какая первая разрешиться ту и брать. И другие варианты.

Это Вы  ещё конфликт свёртка-сдвиг и свёртка-свёртка не разобрали.
Вот вам чтение на вечер - на следующий вечер.
https://www.opennet.ru/docs/RUS/bison_yacc/bison_8.html

Ага у меня поэтому парсер и не собирается)

lalrpop, игрушечная библиотека на игрушечном языке

Вообше я сделал вывод хороший о своих поделиях, в соло писать такие веши как компилятор это безумие