neuro-typescript

Use generic type parameters with constraints, such as function getProperty<T, K extends keyof T>(obj: T, key: K): T[K], to preserve type relationships between arguments and return values. Constraints like extends keyof T ensure keys are valid while inference keeps return types precise.

Enable strict: true plus noUncheckedIndexedAccess, exactOptionalPropertyTypes, and noPropertyAccessFromIndexSignature. noUncheckedIndexedAccess is the most valuable flag outside strict mode because it forces handling of undefined when indexing arrays and objects.

Use type by default for unions, intersections, tuples, and mapped types. Use interface when you need extends, implements, or declaration merging, such as augmenting third-party types like the global Window object.

Use z.infer<typeof schema> to derive a TypeScript type directly from a Zod schema definition. This keeps runtime validation and compile-time types in sync, so schema changes automatically propagate to all consuming code.

Enums generate runtime code and have numeric reverse-mapping quirks. Prefer union types like "active" | "inactive" for pure typing, or a const object with as const when you need runtime values and iteration.

Combine a generic AsProp<C extends React.ElementType> with Omit<React.ComponentPropsWithoutRef<C>, ...> so the component inherits the props of whatever element it renders as. This gives full type checking, such as href being available only when as="a".