Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

strict

You are here: irt.org | FOLDOC | strict

A function f is strict in an argument if

	f bottom = bottom

(See bottom). In other words, the result depends on the argument so evaluation of an application of the function cannot terminate until evaluation of the argument has terminated.

If the result is only bottom when the argument is bottom then the function is also bottom-unique.

See also strict evaluation, hyperstrict.

(1995-01-25)

Nearby terms: strength reduction « STRESS « stress testing « strict » strict evaluation » strided » string

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb