| Generics as a Library (Extended Abstract) (2008) | |||||||||||||||
Abstract | |||||||||||||||
| Typically, a generic function is a function that is defined on the structure of data types: with a single definition, we obtain a function that works for many data types. In contrast, an ad-hoc polymorphic function requires a separate implementation for each data type. Previous work by Hinze on lightweight generic programming has introduced techniques that allow the definition of generic functions directly in Haskell. | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||