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.
Encapsulating it all<br />
runST :: (forall s. ST s a) -> a<br />
Higher rank type<br />
Security of<br />
encapsulation<br />
depends on<br />
parametricity<br />
Parametricity depends on <strong>the</strong>re<br />
being few polymorphic functions<br />
(e.g.. f:: a->a means f is <strong>the</strong><br />
identity function or bottom)<br />
Monads<br />
And that depends on type<br />
classes to make non-parametric<br />
operations explicit<br />
(e.g. f :: Ord a => a -> a)<br />
And it also depends<br />
on purity (no side<br />
effects)