effect-systems

# Effect Systems Skill Design and implement algebraic effect systems for tracking and handling computational effects in programming languages. ## Capabilities - Design effect annotation syntax - Implement effect inference algorithms - Implement effect checking and tracking - Design effect handlers (algebraic effects) - Handle effect polymorphism - Implement effect rows and extensibility - Design effect subtyping - Generate effect-based optimizations ## Usage Invoke this skill when you need to: - Add an effect system to a language - Implement algebraic effects and handlers - Track computational effects in types - Design effect polymorphism ## Inputs | Parameter | Type | Required | Description | |-----------|------|----------|-------------| | effectModel | string | Yes | Model (algebraic, monadic, capability) | | inferenceStrategy | string | Yes | Strategy (annotated, inferred, mixed) | | features | array | No | Features to implement | | builtinEffects | array | No | Built-in effects to include | ### Effect Model Options ```json { "effectModel": "algebraic", // Koka/Eff style "effectModel": "monadic", // Haskell IO style "effectModel": "capability" // Capability-based } ``` ### Feature Options ```json { "features": [ "effect-inference", "effect-handlers", "effect-polymorphism", "effect-rows", "effect-subtyping", "effect-abstraction", "resumption-control", "multi-shot-continuations" ] } ``` ## Output Structure ``` effec...