Abstract
A polytypic function is a function that can be instantiated
on many data types to obtain data type specific functionality. Examples
of polytypic functions are the functions that can be derived in Haskell,
such as show, read, and ‘==’.More advanced examples are functions for
digital searching, pattern matching, unification, rewriting, and structure
editing. For each
... read more
