TypeScript 배워서 어디에 쓸까?

TypeScript의 기본 타입(string/number/boolean/array/tuple/object)을
표 + 코드 예시로 한 번에 정리해줘.
any / unknown / never의 차이도 포함.

제네릭으로 useFetch<T> 함수를 만들어줘.
매개변수/반환 타입에 T가 어떻게 흐르는지
주석으로 설명. 사용 예시 3가지 포함.

TypeScript 풀스택(Next.js + tRPC + Zod + Prisma) 프로젝트의
타입 흐름을 도식화 + 코드 예시로 보여줘.
DB 스키마 변경이 클라이언트 타입까지 자동 전파되는 흐름.

// TypeScript 레벨별 데모 — 핵심 개념 한 파일

// 🟢 레벨 1: 기본 타입 + 함수
function greet(name: string, age: number = 0): string {
  return `Hello ${name}, age ${age}`;
}

// 🟡 레벨 2: 인터페이스 + 제네릭
interface User {
  id: number;
  name: string;
  email: string;
}

function findById<T extends { id: number }>(items: T[], id: number): T | undefined {
  return items.find(i => i.id === id);
}

// 🟡 유니온 + 타입 가드
type Result<T> = { ok: true; data: T } | { ok: false; error: string };

function handle<T>(r: Result<T>) {
  if (r.ok) {
    console.log(r.data); // T로 좁혀짐
  } else {
    console.error(r.error); // string으로 좁혀짐
  }
}

// 🔵 레벨 3: 유틸리티 + 조건부 타입
type UserUpdate = Partial<Omit<User, 'id'>>; // {name?, email?}

type Awaited<T> = T extends Promise<infer U> ? U : T;
type X = Awaited<Promise<number>>; // number

// 🟣 레벨 4: 풀스택 타입 흐름 (개념)
// DB(Prisma) → 서버(Zod 검증) → API(tRPC) → 클라이언트(자동 타입)
// 한 줄도 직접 타이핑하지 않고 모든 경계가 타입 안전

/* 한 파일에 TS 4단계가 모두 들어있습니다.
   레벨 1: 기본 타입 + 함수
   레벨 2: interface + 제네릭 + 유니온 + 타입 가드
   레벨 3: Partial/Omit + 조건부 타입 + infer
   레벨 4: 풀스택 타입 흐름 (Prisma → Zod → tRPC) */