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 modulo cons ♦ tail recursion optimisation ♦ tail-strict ♦ TAL ♦ TALE
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading