я вообще за всю свою жизнь гото в реальном проекте видел только 2 или 3 раза.
Главный пример был в математическом софте. Там какая-то хитрая ситуация была и мне мне объяснили, что только гото обеспечивает чистоту кода и быстродействие.
Но я уже ничего не помню об этом. Ни языка, ни конкретной ситуации.
Но в тот момент я согласился, что да, без гото решить задачу будет крайне сложно. И вероятно медленнее.
Так что верю что гото может быть крайне полезным инструментом, но в супер редких случаях

Роллбэк через исключение это инструмент, который предоставляет нам фреймворк, но это не значит, что мы должны свой код в приложениях писать таким же образом, т.е. то, что в AR используется некая практика не делает практику автоматически хорошей.

В виртуальной машине Erlang, например, goto используется для оптимизации выполнения инструкций. Каждый опкод инструкции является на самом деле указателем на код инструкции, и выполнение этой инструкции происходит через goto по этому адресу (вроде используется расширение GCC/clang computed goto).

А называется эта штука https://en.wikipedia.org/wiki/Threaded_code, используется в некоторых компиляторах и виртуальных машинах.

Коллеги, мы не с того начали. Я не утверждал, что goto есть квинтэссенция зла. Я говорил о том, что в повседневной жизни его использовать не стоит и использование является признаком наличия проблем с дизайном.

лучше @alexey_shein

Ну мне вроде в моём рубишном коде его использовать не приходилось (по крайней мере я не могу сейчас вспомнить), но тем не менее я знаю, в каких случаях и языках он будет полезен.

Лучше чем что? :)

А так согласен, почти всегда можно сделать без него лучше.

я не так давно внезапно допёр, что идея «запихнуть нечистоты в сигнатуру функций» не просто старая, а очень старая

вот есть алг. эффекты — круто, в сигнатуре рядом с типами можно описать, что в функции есть IO, стейт, ещё что-то.

и в целом, идея вынести такие штуки в сигнатуру, и чтоб компилятор проверял — очень классная идея.

а потом осознал, что в Java это с исключениями уже давно сделали 🙈

монады и рода могут быть сделаны как угодно, специфические задачи могут требовать нестандартных подходов, но отлаживать сложную бизнеслогику на исключениях и goto я бы никому не пожелал:)

В джаве чекед эксепшены это тот еще адок. Идея может быть и хорошая, но реализация сильно так себе. Ну и их, вроде бы, давно сделали необязательными.