Prev Up Next
Go backward to Evaluating Generic Programming in Practice
Mehdi Jazayeri

Go up to Foundations and Methodology Comparisons
Go forward to Recasting Algorithms As Objects:
An Alternative to Iterators
Murali Sitaraman


Polytypic Programming
Johan Jeuring

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 different datatypes. Examples of such functions are pretty printers, debuggers, equality functions, unifiers, pattern matchers, etc. Such functions are called polytypic functions. A polytypic function is a function that is defined by induction on the structure of user-defined datatypes. This talk introduces polytypic functions, and shows some example applications: pretty printing, data compression, and database table generation.


 

Prev Up Next