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.
Is sexy good? Yes!<br />
Well typed programs don’t go wrong<br />
Less mundanely (but more allusively) sexy<br />
types let you think higher thoughts and<br />
still stay [almost] sane:<br />
– deeply higher-order functions<br />
– functors<br />
– folds and unfolds<br />
– monads and monad transformers<br />
– arrows (now finding application in real-time<br />
reactive programming)<br />
– short-cut deforestation<br />
– bootstrapped data structures