Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
catnaroek
on March 15, 2016
|
parent
|
context
|
favorite
| on:
Scala’s Types of Types
Sure. 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).
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: