Перевод

Хвостовая рекурсия.

Нет. Хвостовая рекурсия - это tail recursion. А tail-recursive дословно - "хвостово-рекурсивный", что звучит очень криво.

Ну тогда мб в контексте вычисления? Тоесть tail-recursive calculation - вычисление с хвостовой рекурсией ))

val map : (’a -> ’b) -> ’a list -> ’b list List.map f [a1; ...; an] applies function f to a1, ..., an, and builds the list [f a1; ...; f an] with the results returned by f. Not tail-recursive.

Ну, например, здесь. "Не обладает св-вом хвостовой рекурсии" подойдет? А то у меня большие подозрения, что ХР - не свойство%)

ну может тогда просто "что нельзя вычислить с помощью хвостовой рекурсии" ну или как-то так, т.е. просто объяснить )