> -- Peter Almazov писал(а):
> А Вы его хоть раз делали? Только честно
Только для простеньких, в образовательных целях.
Ну так инварианты циклов в сях и паскалях я вообще никогда не делал -- как-то так всю жизнь без них обходился.
Все циклы и рекурсии, которые я делаю, просты и потому очевидно правильны. А если и неправильны, то тут же исправляются. Ошибки обычно в других местах.

В ФЯ рекурсий не так уж и много -- композиция функций позволяет обходиться без рекурсий. map/fold/filter/zip -- и не надо никаких рекурсий...