generics-implementation

# Generics Implementation Skill Implement parametric polymorphism for programming languages including generics, type bounds, and compilation strategies. ## Capabilities - Design generic syntax and type parameter bounds - Implement monomorphization (Rust-style) - Implement type erasure (Java-style) - Handle variance in generic types - Implement higher-kinded types (if applicable) - Design trait/interface bounds - Handle associated types - Implement generic method dispatch ## Usage Invoke this skill when you need to: - Add generics to a language - Implement monomorphization or type erasure - Design trait bounds and constraints - Handle variance and subtyping with generics ## Inputs | Parameter | Type | Required | Description | |-----------|------|----------|-------------| | compilationStrategy | string | Yes | Strategy (monomorphization, erasure, dictionary) | | features | array | No | Features to implement | | varianceModel | string | No | Variance handling (explicit, inferred, none) | | boundsSystem | object | No | Bounds system configuration | ### Compilation Strategies ```json { "compilationStrategy": "monomorphization", // Rust, C++ "compilationStrategy": "erasure", // Java, TypeScript "compilationStrategy": "dictionary" // Haskell, Swift witness tables } ``` ### Feature Options ```json { "features": [ "type-parameters", "trait-bounds", "associated-types", "variance", "higher-kinded-types", "default-type-paramet...