Hyperstrict

Hyperstrict

A function which is hyperstrict in some argument will fullyevaluate that argument. To fully evaluate an object, evaluateit to WHNF and if it is a constructed data object (e.g. a listor tuple) then fully evaluate every component and so onrecursively. Thus a hyperstrict function will fail toterminate if its argument or any component or sub-component ofits argument fails to terminate (i.e. if its argument is not"total").