Anonymous user
Type algebra: Difference between revisions
m
Removed from enc since it's in a sub-cat of enc
(OK, the first iteration) |
m (Removed from enc since it's in a sub-cat of enc) |
||
Line 1:
[[Category:Type System]]
'''Type algebra''' is an [http://en.wikipedia.org/wiki/Algebraic_structure algebraic structure] of types in a typed programming language. The algebra considers a type as a value involved in some operations. These type-valued operations create new types out of the existing types. The operations may take parameters different from types. For example, parametric polymorphism also known as generics or templates allows along with types, plain values, packages, subprograms etc as parameters.
| |||