Какие знаешь кейсы использования только TypeScript?

Кейсы использования TypeScript без рантайм-зависимостей

TypeScript — это надмножество JavaScript, которое компилируется в чистый JS, но его возможности часто выходят за рамки просто "типизированного JS". Существует несколько продвинутых сценариев, где TypeScript используется практически "сам по себе", без традиционной среды выполнения Node.js или браузера. Вот ключевые кейсы:

1. Статический анализ и валидация структур данных

TypeScript позволяет проверять корректность сложных структур данных на этапе компиляции. Например, можно определить тип для конфигурации приложения и гарантировать, что все обязательные поля присутствуют, а типы значений соответствуют ожиданиям.

// Определяем строгий тип для конфигурации
interface AppConfig {
  apiEndpoint: string;
  retryAttempts: number;
  features: {
    darkMode: boolean;
    analytics: boolean;
  };
}

// Функция, которая валидирует конфигурацию
function validateConfig(config: AppConfig): boolean {
  // TypeScript уже проверил типы на этапе компиляции
  return !!config.apiEndpoint && config.retryAttempts > 0;
}

// Попытка передать невалидный объект вызовет ошибку компиляции
const invalidConfig = {
  apiEndpoint: 'https://api.example.com',
  // retryAttempts отсутствует - ОШИБКА КОМПИЛЯЦИИ
  features: { darkMode: true, analytics: false }
};

2. Генерация кода и метапрограммирование

С помощью TypeScript Compiler API можно создавать инструменты для анализа и преобразования TypeScript-кода. Это используется в:

• Генерации кода на основе типов (например, автоматическое создание API-клиентов из OpenAPI-спецификаций)
• Создании кастомных линтеров и трансформеров кода
• Извлечении метаданных о типах для документации

import ts from 'typescript';

// Пример анализа структуры TypeScript-файла
function extractInterfaces(sourceCode: string): string[] {
  const sourceFile = ts.createSourceFile(
    'temp.ts',
    sourceCode,
    ts.ScriptTarget.Latest,
    true
  );
  
  const interfaces: string[] = [];
  
  function visit(node: ts.Node) {
    if (ts.isInterfaceDeclaration(node)) {
      interfaces.push(node.name.text);
    }
    ts.forEachChild(node, visit);
  }
  
  visit(sourceFile);
  return interfaces;
}

3. Декларативные конфигурации с проверкой типов

Создание конфигурационных файлов с полной типизацией, которые компилируются в JSON или другие форматы:

// config.ts - типизированная конфигурация
export const config = {
  environment: 'production' as const,
  services: {
    auth: { url: 'https://auth.example.com', timeout: 5000 },
    database: { url: 'https://db.example.com', poolSize: 10 }
  },
  // TypeScript проверит, что все поля соответствуют типу
} satisfies AppConfig;

// Генерация JSON из типизированной конфигурации
import { writeFileSync } from 'fs';
import { config } from './config';

// Конфигурация уже прошла проверку типов
writeFileSync('config.json', JSON.stringify(config, null, 2));

4. Система типов как документация и DSL

TypeScript-типы можно использовать как предметно-ориентированный язык (DSL) для описания бизнес-логики:

// Моделирование бизнес-процессов с помощью типов
type OrderStatus = 'created' | 'paid' | 'shipped' | 'delivered' | 'cancelled';

// Типы, которые гарантируют корректные переходы состояний
type OrderTransition = {
  from: OrderStatus;
  to: OrderStatus;
};

// TypeScript проверит корректность переходов
const validTransitions: OrderTransition[] = [
  { from: 'created', to: 'paid' },
  { from: 'paid', to: 'shipped' },
  // { from: 'created', to: 'delivered' } - ошибка компиляции
];

// Использование условных типов для сложных валидаций
type ValidTransition<T extends OrderStatus, U extends OrderStatus> = 
  [T, U] extends ['created', 'paid'] ? true :
  [T, U] extends ['paid', 'shipped'] ? true :
  [T, U] extends ['shipped', 'delivered'] ? true :
  false;

5. Преобразование и манипиляция типами

Условные типы (Conditional Types) и маппинг типов (Mapped Types) позволяют трансформировать одни типы в другие:

// Создание типов на основе других типов
type User = {
  id: number;
  name: string;
  email: string;
  createdAt: Date;
};

// Автоматическое создание типа для обновления (все поля опциональны)
type PartialUpdate<T> = {
  [K in keyof T]?: T[K];
};

type UserUpdate = PartialUpdate<User>;
// Эквивалентно: { id?: number; name?: string; email?: string; createdAt?: Date; }

// Создание readonly-версии
type ReadonlyUser = Readonly<User>;

// Извлечение типа возвращаемого значения функции
type ReturnType<T extends (...args: any[]) => any> = T extends (...args: any[]) => infer R ? R : never;

6. Инструменты разработки и CI/CD

TypeScript можно использовать в сценариях сборки и CI/CD-пайплайнах для:

• Проверки корректности типов перед сборкой
• Генерации документации из JSDoc-комментариев
• Валидации данных против TypeScript-типов

# Пример использования tsc в CI-пайплайне
# Проверка типов без генерации JS-файлов
tsc --noEmit --strict

# Проверка только определенных типов
tsc --project tsconfig.typecheck.json

7. Контрактное программирование на уровне типов

Создание типов-стражей (type guards) и сложных валидаций:

// Типы для гарантирования инвариантов
type PositiveNumber = number & { __brand: 'PositiveNumber' };

function createPositiveNumber(n: number): PositiveNumber | null {
  return n > 0 ? (n as PositiveNumber) : null;
}

// TypeScript не позволит использовать обычное число как PositiveNumber
function processValue(value: PositiveNumber) {
  console.log(`Обрабатываем: ${value}`);
}

const valid = createPositiveNumber(42);
if (valid) {
  processValue(valid); // OK
  processValue(10); // Ошибка компиляции!
}

Эти кейсы демонстрируют, что TypeScript — это не просто надстройка над JavaScript, а полноценный инструмент для статического анализа, метапрограммирования и проектирования систем с богатой системой типов, которую можно использовать независимо от рантайм-среды. Это делает TypeScript ценным инструментом не только для веб-разработки, но и для создания инструментов разработки, валидации данных и проектирования архитектуры.