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...
| Những tác giả chính: | , |
|---|---|
| Định dạng: | Conference item |
| Được phát hành: |
2005
|