Conditional Types Over Overloads
CheckedThis skill intelligently handles complex function overloads and type constraints by applying conditional types, streamlining code and improving type safety.
Install on your platform
Showing Claude Code. One command installs this skill into any of the agents below.
- 1
Run this in your project
terminal$ npx skills add marius-townhouse/effective-typescript-skills --skill conditional-types-over-overloads -a claude-code Uses the open-source
skillsCLI and needs Node.js. Add-gto install it for your user instead of this project.
What we know about this skill
Publisher
marius-townhouse
Taken from the source listing. We haven't verified who controls this account.
Install target
Live repository
Not pinned. Installing fetches whatever the repository holds at the time you run the command.
Automated safety checks
This skill passed all 6 checks. We read its files at one commit and looked for the things that make a skill dangerous to run — not for whether it works.
Declares what it does: passed
SKILL.md parses and declares a name and a description.
SKILL.md exists, its frontmatter parses, and it declares a name and a description.
No undeclared network calls: passed
Makes no network calls.
Every host the skill dials — from its scripts, its config endpoints or the commands it tells the agent to run — is either well-known package and API infrastructure or declared in its own frontmatter. Links in documentation are not counted.
No obfuscated payloads: passed
No encoded or obfuscated payloads.
No base64, hex or compressed blob is decoded and then executed, and no encoded shell commands.
No credential access: passed
Reads no keys, tokens, keychains or credential files.
Neither the code nor the SKILL.md instructions read SSH keys, cloud credentials, keychains, token stores, browser cookie databases or dotfiles that hold secrets.
No pipe-to-shell installers: passed
No pipe-to-shell or download-and-run installers.
No `curl … | sh` pattern, in the code or in the instructions, that runs code fetched at run time.
Pinned to a commit: passed
Scanned marius-townhouse/effective-typescript-skills at d754db2077.
The exact upstream commit SHA that was scanned is recorded, so the result refers to specific bytes.
- Commit
- d754db2077
- Scanned
- 1 file, 197 lines
About this skill
What it does
This skill enables AI agents to leverage conditional types in TypeScript to create more precise and type-safe code, effectively replacing or augmenting traditional overload signatures. It allows for deriving return types based on the input argument types, leading to improved type inference and reduced boilerplate. The agent can use this to generate complex type definitions and ensure that function implementations align with their declared types.
When to use it
- Refactoring TypeScript code: To modernize older codebases by replacing overloaded functions with conditional type-based solutions for better type safety.
- Generating complex type definitions: When you need a return type that depends on the specific input arguments provided to a function.
- Improving type inference in libraries: When building reusable components, this skill can help ensure correct types are inferred automatically.
- Debugging type errors: To understand and resolve complex type-related issues by analyzing conditional type expressions.
Key capabilities
- Conditional Type Derivation: Generates return types based on input argument types.
- Overload Replacement: Provides an alternative to traditional function overloads.
- Type Safety Enhancement: Improves the overall type safety of TypeScript code.
- Code Generation: Creates complex type definitions and function signatures.
Example prompts
- "Generate a TypeScript function signature that returns 'string' if the input is a number, and 'number' otherwise."
- “Convert this overloaded function to use conditional types.” [followed by the original function definition]
- “Show me how to define a type that represents the union of two different types based on a boolean condition.”
Tips & gotchas
This skill requires a good understanding of TypeScript’s type system, particularly conditional types and their syntax. Complex conditional types can be difficult to read and debug, so start with simpler examples before tackling larger refactorings.