Hyperstrict

Hyperstrict

A function which is hyperstrict in some argument will fully evaluate that argument. To fully evaluate an object, evaluate it to WHNF and if it is a constructed data object (e.g. a list or tuple) then fully evaluate every component and so on recursively. Thus a hyperstrict function will fail to terminate if its argument or any component or sub-component of its argument fails to terminate (i.e. if its argument is not "total").
Mentioned in ?
References in periodicals archive ?
Rights groups are hoping the recent pardon of a woman who was convicted of murder after losing her child to birth complications will mark a turning point in El Salvador's hyperstrict stance on abortion, which is outlawed even in rape cases or when a pregnancy puts the mother's life at risk.
They responded in a joint statement by criticizing the government's female contingent for quietly accepting various administration decisions--such as Correa's refusal to loosen Ecuador's hyperstrict laws regarding abortion, which is off limits even to rape victims--that have rolled back women's rights.