type constructor (Q7860899)
Jump to navigation
Jump to search
feature of a typed formal language that builds new types from old ones
- type operator
Language | Label | Description | Also known as |
---|---|---|---|
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 型別構造器