> -- SovietPony писал(а):
> На уровне языка вводить не оязательно, такое просто детектируется автоматически.Нет. Технически возможно, но программист теряет контроль.

> -- SovietPony писал(а):
> Циклы и рекурсия усложняют реализацию такой оптимизации. Надо как-то гарантировать отсутствие бесконечных циклов перед вычислением...Зачем гарантировать? В обычных программах разве есть гарантия отсутствия бесконечной рекурсии или цикла? Здесь же компилятор просто исполнитель "программы".

> -- SovietPony писал(а):
> Ветвь else не надо делать обязательной.И как гарантировать возврат значения? Например FUNCTION(a,b) RETURN IF (a > 2) THEN b END; END что вернет при  a <= 2?