type constructor
Sign in to saveAlso known as type operator
feature of a typed formal language that builds new types from old ones
Wikidata facts
- Has use
- generic programming
Show 4 more facts
- has characteristic
- kind
- codomain
- data type
- studied by
- type theory
- uses
- parameter
via Wikidata · CC0