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...
| Үндсэн зохиолчид: | , |
|---|---|
| Формат: | Conference item |
| Хэвлэсэн: |
2005
|
Search Result 1
