Prompt · Developer Tools

Type Safety Upgrade

Adds sound type annotations to untyped code, with reasoning for each choice.

Have ready: Paste the untyped code and name the language

Fill in · 4 fields

PASTE THE UNTYPED CODEPYTHON / TYPESCRIPT / ETC.STRICT / MODERATEMYPY / TSCONFIG / ETC.

Your prompt

Add type annotations to this code. Do not just slap `any` on things, reason about each type.

Code:
[PASTE THE UNTYPED CODE]
Language: [PYTHON / TYPESCRIPT / ETC.]
Strictness target: [STRICT / MODERATE]

Deliver:
1. The fully annotated code.
2. For each non-obvious annotation (unions, generics, optionals), one line on why you chose it, citing how the value is used.
3. Places where the code's runtime behavior is type-unsafe (e.g. a dict that holds two shapes), flag them and suggest the minimal code change to make them typeable.
4. The strictness settings/config to enable in [MYPY / TSCONFIG / ETC.] to keep it this way.

If a type is genuinely unknowable from the code, use the escape hatch for your language and mark it with a TODO comment explaining what information is missing.

Paste it into Muse or any assistant. Blank fields stay as [brackets].

More like this

Code Smell Sweep

Shell Script Explainer