Wearing the hair shirt Wearing the hair shirt - Microsoft Research
Wearing the hair shirt Wearing the hair shirt - Microsoft Research
Wearing the hair shirt Wearing the hair shirt - Microsoft Research
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Laziness<br />
Laziness is jolly convenient<br />
Used in<br />
two cases<br />
Used in<br />
one case<br />
sp_help item@(Item cur_loc cur_link _) wq vis<br />
| cur_length > limit -- Beyond limit<br />
= sp wq vis<br />
| Just vis_link = linkLength vis_link <strong>the</strong>n<br />
sp wq vis<br />
else<br />
emit vis item ++ sp wq vis'<br />
| o<strong>the</strong>rwise<br />
= emit vis item ++ sp wq' vis'<br />
where<br />
vis’ = ...<br />
wq’ = ...