type constructor

feature of a typed formal language that builds new types from old ones

en-US/ˈtaɪp kənˈstɹʌktɚ/
en-GB/ˈtaɪp kənˈstɹʌktə/

Kategoriler:

operator