Type−indexed data types
A polytypic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be derived in Haskell, such as show, read, and `=='. More advanced examples are functions for digital searching,...
| Main Authors: | , , |
|---|---|
| 格式: | Journal article |
| 出版: |
2004
|