How to get type-safe code from Cursor

1{
2  "compilerOptions": {
3    "strict": true,
4    "noImplicitAny": true,
5    "noImplicitReturns": true,
6    "noUncheckedIndexedAccess": true,
7    "exactOptionalPropertyTypes": true,
8    "forceConsistentCasingInImports": true
9  }
10}

1---
2description: TypeScript strict typing rules
3globs: "src/**/*.ts,src/**/*.tsx"
4alwaysApply: true
5---
6
7## TypeScript Typing Rules
8- ALWAYS add explicit return types to all functions
9- ALWAYS type all function parameters (no implicit any)
10- NEVER use 'any' type — use 'unknown' if type is uncertain
11- Use interface for object shapes, type for unions/intersections
12- Use readonly for arrays and objects that should not be mutated
13- Prefer Record<string, T> over { [key: string]: T }
14- Use branded types for IDs: type UserId = string & { __brand: 'UserId' }
15- Import types with 'import type' syntax for tree-shaking

1// Cursor Chat prompt (Cmd+L):
2// @src/types/user.ts Create a function called formatUserDisplay
3// that takes a User object and returns a formatted display
4// string. Include explicit parameter and return types.
5
6import type { User } from '@/types/user';
7
8export function formatUserDisplay(user: User): string {
9  const name = user.displayName || `${user.firstName} ${user.lastName}`;
10  const role = user.role.charAt(0).toUpperCase() + user.role.slice(1);
11  return `${name} (${role})`;
12}

1// Cursor Chat prompt (Cmd+L, Ask mode):
2// @codebase Find all exported functions in src/ that:
3// 1. Have parameters without explicit types
4// 2. Are missing explicit return type annotations
5// 3. Use 'any' type anywhere
6// List each file, function name, and what needs to be fixed.

1// Select the function, press Cmd+K:
2// @src/types/user.ts @src/types/order.ts
3// Add explicit TypeScript types to all parameters and
4// the return type. Use our domain types (User, Order).
5// Replace any 'any' with the correct specific type.
6// Use 'unknown' only if the type genuinely cannot be known.