Conference item
TypeCase: A Design Pattern for Type−Indexed Functions
- Abstract:
-
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 is fixed. The purpose of this paper is to present TypeCase: a design pattern that allows the definition of closed type-indexed functions, in which the index family is ...
Expand abstract
Actions
Authors
Bibliographic Details
- Host title:
- Haskell Workshop
- Publication date:
- 2005-01-01
- DOI:
Item Description
- UUID:
-
uuid:40fa7c43-8721-4e93-8519-7d43cbef7833
- Local pid:
- cs:1665
- Deposit date:
- 2015-03-12
Terms of use
- Copyright date:
- 2005
If you are the owner of this record, you can report an update to it here: Report update to this record