TypeCase: A design pattern for type-indexed functions
A type-indexed function is a function that is defined for each member of some family of types. Haskell's type class mechanism provides collections of open type-indexed functions, in which the indexing family can be extended by defining a new type class instance but the collection of functions i...
| Hlavní autoři: | , |
|---|---|
| Médium: | Conference item |
| Vydáno: |
2005
|