| Generic Haskell: applications (2003) | |||||||||||||||
Abstract | |||||||||||||||
| Generic Haskell applications 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 This article describes generic programming practice discusses three advanced generic programming applications generic dictionaries compressing XML documents and the zipper When describing and implementing these examples will encounter some advanced features Generic Haskell such type indexed data types dependencies between and generic abstractions generic functions adjusting generic function using default case and generic functions with special case for particular constructor Introduction polytypic generic type indexed function function that can instantiated many data types obtain data type speci functionality Examples polytypic functions are the functions that can derived Haskell such show read and have introduced type indexed functions and have shown how implement them Generic Haskell For older introduction generic programming see Backhouse Why generic programming important Generic programming makes programs easier write Programs that could only written untyped style can now written language with types Some programs come for free Some programs are simple adjus | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||