
30 Jul
2006
30 Jul
'06
8:04 a.m.
On 30/07/06, Ian Lynagh
If the value of (id x) is demanded then the value of x will always be demanded. Therefore id is strict in its first argument. ... In place of your 2), I would say (f x0 .. xn) is strict in xi if demanding the value of (f x0 .. xn) requires demanding the value of xi.
Ah. Very helpful. Thanks. -- -David House, dmhouse@gmail.com