Исправление shpinog, (текущая версия) :
вот так. То, что у Идриса GC, не меняет того факта что проверять на этапе компиляции то, что вычисляется во время выполнения вполне возможно
Вопрос в оверхеде. Плюс всё равно существует класс теоретических задач, когда такая проверка не может быть произведена.
Здесь конечно можно задавать вопрос «Зачем, если можно», но это уже решение проблемы, а не факт её отсутствия. Т.е ни о каких «гарантиях» речь не идёт.
Исходная версия shpinog, :
вот так. То, что у Идриса GC, не меняет того факта что проверять на этапе компиляции то, что вычисляется во время выполнения вполне возможно
Вопрос в оверхеде. Плюс всё равно существует класс теоретических задач, когда такая проверка не может быть произведена.
Здесь конечно можно задавать вопрос «Зачем, если можно», но это уже решение проблемы, а не факт её отсутствия.