VDict - Definition of tail-strict

Computing (FOLDOC) dictionary

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.

Related search result for "tail-strict"

Words contain "tail-strict" in its definition in Computing (FOLDOC) dictionary:
tail-strict head-strict strict evaluation tail recursion lazy list strict tail recursion optimisation tail recursion modulo cons conversion to iteration functional programming more...