type constructor (Q7860899)
feature of a typed formal language that builds new types from old ones
- type operator
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | type constructor |
feature of a typed formal language that builds new types from old ones |
|
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- elwiki Κατασκευαστής τύπων
- enwiki Type constructor
- ruwiki Конструктор типов
- ukwiki Конструктор типу
- zhwiki 型別構造器