Menu
Some time ago in one of Haskell extensions (can't find the link), and recently in Ur I've found that names (e.g., of record fields) form a Kind. Can somebody explain why Type abstraction is not enough for them?
859
A name type indicates the format of the name with which it is associated. ( See Names and OIDs for more on names and name types.)
Names should be categorized by four (4) basic types—Literal, Synthesized, Metaphorical and Hybrids.
Descriptive names: Descriptive names describe the product or service, literally. Examples: Paypal, The Body Shop, Whole Foods. Descriptive names can be useful for positioning a brand very clearly, and for B2B brands where purchasers want to know exactly what the brand is selling.
The answer is simple: because they can appear in types. Consequently, they have to live on the type level (otherwise you would need dependent types). And because they live on the type level, they are classified by a kind.
169
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
