Ответ.

История вопроса: В JavaScript callback-функции используются повсеместно, но их сигнатуры часто неочевидны. В TypeScript стоит явно указывать типы параметров и возвращаемого значения, иначе легко получить дыры в безопасности типов.

Проблема: Неправильная или нестрогая типизация callback приводит к неопределённым типам аргументов и результата, усложняет работу с контекстом (this), ломает автоматическую проверку ошибок компилятором и затрудняет рефакторинг.

Решение: Необходимо явно определять тип callback-функции, указывать типы передаваемых параметров, корректно обрабатывать необязательные аргументы и возвращаемое значение, а при необходимости явно задавать тип контекста.

Пример кода:

type Callback = (error: Error | null, result?: string) => void;

function doAsyncWork(data: string, cb: Callback): void {
  setTimeout(() => {
    if (data === '') cb(new Error('Empty string'));
    else cb(null, data.toUpperCase());
  }, 100);
}

Ключевые особенности:

Всегда указывайте типы всех параметров callback'а.
Описывайте возвращаемый тип, даже если это void.
При необходимости явно фиксируйте тип this (например, через функцию с контекстом).

Вопросы с подвохом.

Что будет, если не указать тип возвращаемого значения у callback?

TypeScript примет любой возвращаемый тип (например, undefined, void, Promise), что может привести к сюрпризам в асинхронных цепочках или при возвращении значений "по умолчанию".

type BadCallback = (data: string) => any;
// любой результат, отсутствие контроля

Можно ли писать callback как Function или (...args: any[]) => any?

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

Как типизировать функцию с контекстом this?

Используйте первый параметр this в сигнатуре функции или кастуйте через bind. Например:

interface ClickCallback {
  (this: HTMLElement, event: MouseEvent): void;
}

const handler: ClickCallback = function (event) { this.textContent = 'ok'; };

Типовые ошибки и анти-паттерны

Нетипизированные callback'и (any или Function)
Отсутствие возвращаемого типа у сигнатуры функции
Несовпадение типа this приводит к рандомным runtime ошибкам

Пример из жизни

Негативный кейс

В проекте callback объявили как (...args: any[]) => any. При обновлении бизнес-логики сигнатура изменилась, callback перестал передавать необходимые аргументы, баги вскрылись только на продакшене.

Плюсы:

Проще компилировать и подключать third-party-код

Минусы:

Вообще нет защиты на уровне типов
Сложности в обновлении

Позитивный кейс

Внедрили строгие типы: описали интерфейсы callback'ов, стали явно указывать тип this и тип возвращаемого значения. Компилятор стал ловить ошибки до деплоя, упростился рефакторинг и поддержка багфиксинга.