mayton,

это не сахар, это содержательный синтаксис с собственной семантикой.

автормы должны выполнить b=3 и вернуться на line где произошла ошибка (опкод/байткод?)
или повторно войти в процедуру test3 ?
в данном случае - точно на ту строку, в которой произошла ошибка
resume next - проигнорировать строку, в котрой была ошибка и продолжить со следующей
resume line - продолжить выполнение со строки line (номер строки или именованная метка)

авторКаковы возможности конструкции "On Error GoTo mEr". Можем ли мы управлять классами
ловушек. Тоесть ловить отдельно IO-исключения? Отдельно исключения арифметки?

on error goto 0 - отключает текущий обработчик
on error resume next - при ошибке игнорировать ее и пепеходить к выполнению следующей строки
on error goto line - устанавливает текущий обработчик на код, начинающийся со строки line (обычно именованная метка, но вроде номер строки допускается)
on error goto -1 - спец. инструкция, используемая в "блоке" обработки ошибки. спец вид resume ( по памяти) (подробности в акцессном форуме)

отдельно ловить (обрабатывать) IO и отдельно арифметику можно, если это разнесено в разные блоки кода
текущий установленный обработчик - всегда один - установить гроздь одновременно активных обработчиков нельзя.

не сахар потому, что в тот момент, когда система попадает в блок обработки ошибки по goto от On Error,
исполняющая система находится в специальном глобальном состоянии, которое завершается по выполнении resume.

так работают vba, classic vb, в vb.net сохранена возможность воспользоваться этой механикой по желанию разработчика, или структурированными исключениями.

maytonЧто будет если в блоке обработки исключений возникает новое исключение? В данном
псевдо-бейсике?

mayton, пять баллов. Ты поймал пойнт.

в момент перехода на метку открывающую блок кода обработки ошибки, взводится глобальное состояние "я, система исполнения нахожусь в состоянии восстановления (ошибки)".
По памяти, примерно вот что происходит.
Эта зона вне перехвата ошибок. Любая ошибка, происходящая в текущем контексте не может быть перехвачена в нем же и (если) возникающая ошибка прерывает выполнение текущего контекста, передавая управление вызывающему контексту, если он есть, где начинает действовать обработчик ошибки вызывающего контекста, если он установлен. иначе краш программы.
Поэтому, непосредственно внутри блока обработки ошибки их, ошибок не предполагается.
Если необходимо, чтобы восстанавливающий ошибочное состояние код обязательно отрабатывал в "нормальном" глобальном состоянии, а не в глобальном состоянии "обрабатываю ошибку", то применяют либо двойное goto (где первое из них - это resume, а второе goto должно магическим образом знать, куда осуществлять переход.
либо используется on error goto -1, который отключает глобальный режим "обрабатываю ошибку" в последовательности команд, на которую был осуществлен переход по ошибке после ранее установленного on error goto label.

авторДавайте порассуждаем.

Как может быть достигнуто такое поведение?

Каждый оператор который (потенциально выбрасывает исключение) должен быть обёрнут
в do{..}while() ?

технически стартовой точкой для воспроизведения простой resume-механики может быть код вида

label: do{... if (is_error) {break label;} else {break;} while(1=1)

booby,
label:

походу - первым же кликом нашлось предложение от 2012 года - JSR: 901 MR
о реализации в яве явного goto
Автор(ы) понимают, что что уже не успевают в восьмерку со своим предложением.
Но считают, что реализовать надо обязательно.
По их мнению, не менее 25% кодовой базы, выписанной в виде циклов, требует
переписывания с использованием goto.
Так что, к девятке ждите. Тогда и с бейсиком в яве полегчает.

https://blogs.oracle.com/darcy/entry/upcoming_jep

PS
если и правда сделают, то у явы может оказаться серьезное будущее.