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 fixed but the collection of function...
Expand abstract
Actions
Authors
Bibliographic Details
- Host title:
- Haskell'05 - Proceedings of the ACM SIGPLAN 2005 Haskell Workshop
- Pages:
- 98-109
- Publication date:
- 2005-01-01
- DOI:
- ISBN:
- 159593071X
Item Description
- Keywords:
- Pubs id:
-
pubs:163515
- UUID:
-
uuid:3c9e2ba1-3e3b-4ffb-be43-b0473f2ffea0
- Local pid:
- pubs:163515
- Source identifiers:
-
163515
- Deposit date:
- 2012-12-19
Terms of use
- Copyright date:
- 2005
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record