type constructor

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

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

Kategoriler:

operator