TypeScript: Функции как параметры

В TypeScript используется несколько способов типизировать функции, которые передаются как параметры. Самый простой — использовать тип Function. Он описывает функцию JavaScript со всеми ее особенностями, включая свойства bind, call и apply.

function process(callback: Function) {
  const value = callback();
  // ...
}

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

// Сработает, хотя по смыслу не должно
// Внутри Math.round вызовется без аргументов
process(Math.round);

Другой способ описывать функции — использовать стрелочную функцию с указанием входных и выходных типов:

function process(callback: () => string) {
  // value имеет тип string
  const value = callback();
  // ...
}

process(Math.round);
// Argument of type '(x: number) => number' is not
// assignable to parameter of type '() => string'.

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

Рассмотрим еще несколько примеров для закрепления:

function process(callback: () => number)
function process(callback: () => string[])
function process(callback: () => { firstName: string; })

Пример с параметрами:

function process(callback: (n: number) => string) {
  const value = callback(10);
  // ...
}

Если определение функции встречается часто, то для него можно создать псевдоним:

type myFunction = (n: number) => string;

function process(callback: myFunction) {
  const value = callback(10);
  // ...
}

Задание

Реализуйте функцию filter(), которая принимает на вход массив чисел и предикат. Последний будет использоваться для проверки каждого числа на соответствие требованиям:

const numbers = [1, -5, 2, 3, 4, 133];
filter(numbers, (n) => n > 3); // [4, 133]
filter(numbers, (n) => n % 2 == 0); // [2, 4]

Параметры функции:

1. Массив чисел
2. Анонимная функция, которая принимает на вход число и возвращает логическое значение