История изменений
Исправление wandrien, (текущая версия) :
(if (= t 0) 1 t)
Интересно. То есть вычисление ограничения на область значений внутри if не является там просто внутренней деталью оптимизатора (как в тех же крестах), а вынесено на уровень спецификации ЯП?
И насколько сложные ограничения он может так рассчитать?
Исходная версия wandrien, :
(if (= t 0) 1 t)
Интересно. То есть вычисление ограничения на область значений внутри if не является там просто внутренней деталью оптимизатора (как в тех же крестах), а вынесено на уровень спецификации ЯП?
И насколько сложные ограничения он может так арссчитать?