Concept多态Kind扩展
PolyKinds
A GHC language extension that allows type variables to have polymorphic kinds, thereby supporting more generalized type-level programming and generic abstraction.
Timeline (last 90 days)
Oct 17
GHC's PolyKinds extension allows type variables to have polymorphic Kinds, enabling types such as Proxy to adapt to any Kind.
Unverified50%