Anton Vasiliev
вот. значит проверка есть. значит вообще ничего мешать не должно. но разрабам виднее
Совсем не факт, что ничего не должно мешать. Они исходили из того, что все параметры известны сразу, следовательно проверка зацикливания как минимум сильно упрощается. А если часть нужно вычислять не сразу в начале (как сейчас делается), а где-то по ходу, то это уже другое дело. Ну мне кажется, что из-за этого действительно может потребоваться серьёзная переработка кода.