Функции

Каждый параметр аннотируется как (name: T), а возвращаемый тип пишется после скобок: function add(a: number, b: number): number. Возвращаемый тип также может быть выведен из тела. Параметры могут быть необязательными через ? (после обязательных), иметь значение по умолчанию через = или быть rest-параметром ...args: T[]. Самостоятельный тип функции — это (x: number) => string, а void отмечает функцию, ничего не возвращающую.

Оба позволяют вызывающему опустить аргумент, но тип внутри тела разный. ? расширяет параметр до T | undefined, поэтому его надо проверить перед использованием. Значение по умолчанию через = v сохраняет тип T, ведь оно подставляется всякий раз, когда аргумент равен undefined. Совместить оба на одном параметре нельзя.

Перегрузка функций — это несколько сигнатур вызова, объявленных над одной реализацией, что позволяет одной функции представлять разные комбинации параметров и результата вызывающим. Видны им только сигнатуры перегрузок; сигнатура реализации — часто с более широкими или any типами — недоступна для прямого вызова и должна быть совместима с каждой перегрузкой. Применяй перегрузки, когда результат зависит от формы аргумента, хотя union-тип нередко проще.

Сделайте обёртку обобщённой по типу функции — <T extends (...args: any[]) => void> — и дайте возвращаемой функции тип (...args: Parameters<T>) => void. Вызывающий получит исходный список параметров, проверяемый при каждом вызове, а не any[].

Перегрузки нужны, когда тип результата — функция от аргумента: parse(s: string): Node и parse(s: string[]): Node[]. Union-сигнатура вернула бы Node | Node[] и заставила бы вызывающего сужать тип. Когда результат одинаков при любом входе, проще одна union-сигнатура.

Это фиктивный параметр, задающий тип получателя: function onClick(this: HTMLElement, e: Event). Компилятор отвергает вызов, чей this не подходит, а strictBindCallApply распространяет проверку на bind, call и apply. При выпуске он стирается.