A theory of metaclasses
The past few days I have began thinking about metaclasses from a type-theoretic perspective. What is a metaclass? Is it a type? Is it a kind? Is it both at once? I hope to get a handle on this soon. Maybe this would make a more riveting master’s thesis than extending Fortress with metaclasses and showing the type class behavior.
