4 ms·
Also, kinds can be viewed as the "types" of types, right?
by gclaramunt 11y ago
Also, kinds can be viewed as the "types" of types, right?
- catnaroek 11y agoSure. If your hierarchy (values, types, etc.) stops at kinds, I'd rather call them kinds, but even TAPL informally explains kinds as “the types of types” (p. 441, quotation marks in the original).