Зачем нужен TypeScript и чем any отличается от unknown?

Структурная типизация. Совместимость определяется формой объекта, а не именем типа: объект с нужными полями подходит, даже если объявлен иначе.

any vs unknown: any позволяет всё — и молча распространяется дальше, превращая проверки в формальность. unknown безопасен: к значению нельзя обратиться, пока проверка (typeof, instanceof, in, пользовательский type guard) не сузит тип.

Сужение и размеченные объединения — главный приём: объединение вариантов с полем-дискриминатором (kind), и в каждой ветке switch TypeScript знает точный тип.

Границы системы. Ответ API типизируют, но фактически сервер может вернуть что угодно — валидация схемой во время выполнения.

function parse(input: unknown): number {
  if (typeof input === "number") return input;      // сужение
  if (typeof input === "string") return Number(input);
  throw new Error("bad input");
}

type Shape = { kind: "circle"; r: number } | { kind: "square"; a: number };
function area(s: Shape): number {
  switch (s.kind) {
    case "circle": return Math.PI * s.r ** 2;
    case "square": return s.a ** 2;
    default: const _exhaustive: never = s; return _exhaustive;
  }
}