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.
Sexy types<br />
Haskell has become a laboratory and<br />
playground for advanced type hackery<br />
Polymorphic recursion<br />
Higher kinded type variables<br />
data T k a = T a (k (T k a))<br />
Polymorphic functions as constructor arguments<br />
data T = MkT (forall a. [a] -> [a])<br />
Polymorphic functions as arbitrary function<br />
arguments (higher ranked types)<br />
f :: (forall a. [a]->[a]) -> ...<br />
Existential types<br />
data T = exists a. Show a => MkT a