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.





< Previous Terms Terms Containing tail-strict Next Terms >
tag name
tail circuit
tail recursion
tail recursion modulo cons
tail recursion optimisation
head-strict
tail-strict
TAL
TALE
Taligent
talk
talk bomb