Там еще была тема, что любую вычисляемую рекурсивную функцию можно переписать итеративно, ну если точно известно, что она выполнима. А какой-то чел придумал функцию, которая ГАРАНТИРОВАННО вычисляется, но при этом ее невозможно переписать итеративно. На ней сейчас компайлеры бенчмаркят.
О, а про это есть где прочитать?