Buy Me a Coffee at ko-fi.com

Dependent type

data type whose definition depends on a value

Pronunciation
/dəˈpɛndənt taɪp/
/dɪˈpɛndənt tʌɪp/
Categories
data type