• 홈
  • dependent type

dependent type

data type whose definition depends on a value

en-GB/dɪˈpɛndənt ˈtaɪp/
en-US/dɪˈpɛndənt ˈtaɪp/

카테고리:

data typemetaclass