> -- Rifat писал(а):
> Тогда может лучше указать различия. Инварианта цикла скорее всего не будет, так как в функциональных языках обычно не бывает циклов. Как обходятся без инварианта цикла? Что используют вместо него?
Будет не инвариант цикла, а индуктивное доказательство корректности рекурсивной функции.