TypeCase: A Design Pattern for Type−Indexed Functions
A <em>type-indexed function</em> is a function that is defined for each member of some family of types. Haskell's type class mechanism provides collections of <em>open type-indexed functions</em>, in which the indexing family can be extended by defining a new type class...
Main Authors: | , |
---|---|
Format: | Conference item |
Published: |
2005
|