tail-strict

tail-strict

A tail-strict function evaluates every cons cell in its (list)argument. It will therefore fail to terminate if its argumentis an infinite list or if any tail of its argument fails toterminate. The archetypal tail-strict function is length.See also Head-strict, Hyper-strict.