Polytypic values possess polykinded types
A polytypic value is one that is defined by induction on the structure of types. In Haskell types are assigned so-called kinds that distinguish between manifest types like the type of integers and functions on types like the list type constructor. Previous approaches to polytypic programming were re...
| מחבר ראשי: | |
|---|---|
| פורמט: | Journal article |
| יצא לאור: |
2015
|
Search Result 1
Search Result 2
