Что такое тип void и чем он отличается от undefined?

void означает, что функция не возвращает полезного значения. undefined — это конкретное значение и конкретный тип. Функция с типом возврата void может вернуть undefined, но не наоборот: если тип возврата undefined, функция обязана явно вернуть undefined. Главное отличие проявляется в callback-типах: void разрешает callback возвращать что угодно (результат просто игнорируется).