Functions, generics, unknown і migration

Runtime boundary

function validateBooks(value: unknown): readonly Book[] {
  if (!Array.isArray(value)) return [];
  return value.filter(isBook);
}

async function loadBooks(): Promise<readonly Book[]> {
  return validateBooks(await response.json());
}

unknown вимагає narrowing; any вимикає checks і поширюється далі. Type predicate має чесно відповідати runtime implementation. Promise type описує fulfillment, але rejection policy документується окремо.

Generics і constraints

function first<T>(items: readonly T[]): T | undefined {
  return items[0];
}

function lengthOf<T extends { length: number }>(value: T) {
  return value.length;
}

Type parameter має з’єднувати input/output або кілька positions. Unused T не дає користі; constraint дозволяє лише потрібну capability. Починайте migration з boundaries, тримайте ledger assertions/suppressions і видаляйте їх малими verified кроками.

Лабораторна

Пройдіть valid/invalid unknown fixtures, strict diagnostics, generic cases і migration ledger; виконайте check→build→runtime та зафіксуйте, що emitted JS не містить type annotations і все одно потребує validator.

Завантажити TypeScript lab →

Офіційні джерела

• More on Functions
• Generics
• Migrating from JavaScript