| Generic Haskell: practice and theory (2003) | |||||||||||||||
Abstract | |||||||||||||||
| Generic Haskell practice and theory Ralf Hinze and Johan Jeuring Institut Informatik III Universit Bonn merstra Bonn Germany ralf informatik uni bonn http www informatik uni bonn ralf Institute Information and Computing Sciences Utrecht University Box Utrecht The Netherlands johanj http www johanj Open University Heerlen The Netherlands Abstract Generic Haskell extension Haskell that supports the construction generic programs These lecture notes describe the basic constructs Generic Haskell and highlight the underlying theory Generic programming aims making programming more effective making more general Generic programs often embody non traditional kinds polymorphism Generic Haskell extension Haskell that supports the construction generic programs Generic Haskell adds Haskell the notion structural polymorphism the ability define function type induction the structure types Such function generic the sense that works not only for specific type but for whole class types Typical examples include equality parsing and pretty printing serialising ordering hashing and The lecture notes Generic Haskell are organized into two parts This first part motivates the need for genericity describes the basic constructs Generic Haskell puts Generic Haskell into perspective and highlights the underlying theory The second part entitled Generic Haskell applications delves deeper into the language discussing three non trivial applications Generic Haskell generic dictionaries compressing XML document | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||
Cited publications (11) | |||||||||||||||