Polytypic Programming

  title={Polytypic Programming},
  author={Johan Jeuring and Patrik Jansson},
  booktitle={Advanced Functional Programming},
Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on diierent datatypes. Examples of such functions are pretty printers, debug-gers, equality functions, uniiers, pattern matchers, rewriting functions, etc. Such functions are called polytypic functions. A polytypic function is a function that is deened by induction on the structure of user… CONTINUE READING