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.
Qualified types<br />
Type classes are an example of qualified<br />
types [Jones <strong>the</strong>sis]. Main features<br />
– types of form ∀α.Q => τ<br />
– qualifiers Q are witnessed by run-time<br />
evidence<br />
Known examples<br />
– type classes (evidence = tuple of methods)<br />
– implicit parameters (evidence = value of<br />
implicit param)<br />
– extensible records (evidence = offset of field<br />
in record)<br />
Ano<strong>the</strong>r unifying idea: Constraint Handling<br />
Rules (Stucky/Sulzmann ICFP’02)