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.
Modules<br />
Haskell has many features that overlap with what<br />
ML-style modules offer:<br />
– type classes<br />
– first class universals and existentials<br />
Does Haskell need functors anyway? No: one<br />
seldom needs to instantiate <strong>the</strong> same functor at<br />
different arguments<br />
But Haskell lacks a way to distribute “open”<br />
libraries, where <strong>the</strong> client provides some base<br />
modules; need module signatures and type-safe<br />
linking (e.g. PLT,Knit?). π not λ!<br />
Wanted: a design with better power, but good<br />
power/weight.