void

export type Logger = (message: string) => void;

export const log: Logger = (message) => {
  console.log(message);
};

Теперь тип совпадает с тем, что функция делает на самом деле: принимает сообщение и ничего не отдаёт.

Откуда взялся тип у message

В теле стрелочной функции параметр не аннотирован, и это не забывчивость. Константа log уже размечена типом Logger, поэтому TypeScript выводит типы параметров из него. Механизм называется контекстной типизацией и экономит много букв:

const log: Logger = (message) => {   // message выводится как string
  console.log(message.toUpperCase())

void и undefined

type A = () => void;
type B = () => undefined;

const a

Разница в намерении. void говорит «результат не смотри», undefined говорит «результат есть, и он равен undefined».

Полезная поблажка

Функцию, которая что-то возвращает, разрешено присваивать типу с void:

const log2: Logger = (message) => console.log(message); // ок, хотя стрелка вернёт undefined

const ids: 

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

Ловушка возникает в обратную сторону: если тип обработчика объявлен как () => void, реально вернувшееся значение получить не выйдет, компилятор будет считать результат void.