• 홈
  • type constructor

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ɚ/

카테고리:

operator