Ну это прекрасно.

а как можно goto сокращать?

Goto в непаталогических случаях превращается в обычную блочную структуру

завидую этим непаталогическим случаям)

Если очень интересно, есть статья S. Kosaraju “analysis of structured programs”

Возможно кто-то из цитирующих делал автоматическое преобразование

Спасибо!) Надо будет почиттать)

Если у вас там вычмат, то действовать нужно очень аккуратно - простое раскрытие скобок в схеме Горнера, например, приводит к накоплению ошибок.

я не хочу трогать математику, хочу только перевести с fixed-form на free-form, ввести полные циклы, убрать GOTO и проставить нормальные индентации

ну и еще все в модули запихнуть, чтобы была хоть какая-то проверка на то, как функции вызываются.

Насчёт форматирования, кстати, PVS-овцы писали в одной из статей. В вычислительном коде с матрицами оно может быть очень важно - "стандартное" форматирование после какого-нибудь clang-format может очень ловко скрывать ошибки в инициализации матриц. Но я не слышал, чтобы кто-то делал автоформат с бережным форматированием.

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

Кстати, вы выяснили, у вас там табуляция есть? И сколько в ней пробелов? 😊

табуляции нет :) все с этим хорошо)

она есть в сборочных скриптах, но я уже осилил, как её выпиливать :)

а есть какая-то таториалка по реализации pattern matching на каком-нибудь императивном языке?

в смысле, реализовать самопальный pattern matching с помощью тех средств, которые уже есть в языке?

Делаем Church encoding, а дальше вообще всё просто. 😃

SICP, 4.4.2

Я прошлым летом ради интереса сделал proof-of-concept паттерн матчинга на C#, вот что получилось:

https://github.com/impworks/matcher

Поищите среди статьей Страуструпа, он делал

есть ещё first-class patterns, но я хз насколько ими удобно пользоваться
https://www.irif.fr/~kesner/papers/first-class-patterns.pdf
https://hackage.haskell.org/package/first-class-patterns