Home
Type Inference For Generic Haskell

Alexey
<!--
   * Set PREV_SKIN = customtitle
   * Set CUSTOMTOPICTITLE = Type Inference for Generic Haskell
   * Set CUSTOMHEADTITLE = Type Inference for Generic Haskell
   * Set WEBTITLE =
-->

_Alexey Rodriguez, Johan Jeuring and Andres Löh._

The more expressive a type system, the more type
information has to be provided in a program. Having to
provide a type is sometimes a pain, but lacking
expressivity is often even worse. There is a continuous
struggle between expressivity and (type-)verbosity.
However, even very expressive type systems allow
type inference for parts of a program. Generic Haskell
is an extension of Haskell that supports defining
generic functions. Generic Haskell assumes that the
type of a generic function is explicitly specified. This
is often no problem, but sometimes it is rather painful
to have to specify a type -- in particular for generic functions
with many dependencies -- and sometimes the specified
type can be generalized. In this paper, we identify three
type inference problems specific to generic functions,
and present (partial) solutions to each of them.

*Technical report:* ([[http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-060.pdf][pdf]]) ([[http://www.cs.uu.nl/research/techreps/UU-CS-2005-060.html][home page]])

---++ Source Code
You can play with a prototype implementation that you can download from [[GHTypeInference][this page]].

-- Main.AlexeyRodriguez - 02 Aug 2006