effect-systems
Expert skill for designing and implementing algebraic effect systems including effect annotation, inference, handlers, polymorphism, and row-based effect typing.
npx skills add a5c-ai/babysitter --skill effect-systems --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# 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 } ``` ### Featu
- Capabilities
- Usage
- Inputs
- Effect Model Options
- Feature Options
- Output Structure
- Effect System Types
- Algebraic Effects (Koka-style)
- Effect Handlers
- Effect Inference
- Effect Polymorphism
- Continuation Management
- Built-in Effects
- Effect-Based Optimization
What does the effect-systems skill do?
Expert skill for designing and implementing algebraic effect systems including effect annotation, inference, handlers, polymorphism, and row-based effect typing.
How do I install it?
Run `npx skills add a5c-ai/babysitter --skill effect-systems --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From a5c-ai/babysitter, a repository with 1,642 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.