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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Laziness<br />
John Hughes’s famous paper “Why<br />
functional programming matters”<br />
– Modular programming needs powerful<br />
glue<br />
– Lazy evaluation enables new forms of<br />
modularity; in particular, separating<br />
generation from selection.<br />
– Non-strict semantics means that<br />
unrestricted beta substitution is OK.