tail-strict
A tail-strict function evaluates every cons cell in its (list) argument. It will
therefore fail to terminate if its argument is an infinite list or if any tail
of its argument fails to terminate. The archetypal tail-strict function is
length. See also Head-strict, Hyper-strict.
Nearby terms:
tail recursion « tail recursion modulo cons « tail
recursion optimisation « tail-strict » TAL »
TALE » Taligent
|
