Массивы

export type Names = string[];

export const list: Names = ["Макс", "Аня", "Дима"];

string[] читается как «массив, все элементы которого строки». Тест сравнивает Names именно с этим типом.

Две формы записи

type A = string[];
type B = Array<string>;

Это один и тот же тип, string[] просто сокращённая запись. Вторая форма удобнее, когда элемент сам сложный:

type Ids = Array<string | number>; // читается лучше, чем (string | number)[]

Скобки во втором варианте обязательны: без них string | number[] означает «строка или массив чисел», а это совсем другой тип.

Что появляется после разметки

Компилятор начинает знать тип элемента, и это работает по всей цепочке:

list.push("Оля");   // ок
list.push(42);      // ошибка: ожидалась строка
list[0].toUpperCase(

Последняя строка показывает вывод типов в действии: тип параметра колбэка выводится из типа массива, писать (name: string) не нужно.

Про доступ по индексу

Стоит помнить, что по умолчанию TypeScript считает list[10] значением типа string, хотя в рантайме там будет undefined. Строгую проверку включает отдельная опция компилятора noUncheckedIndexedAccess, по умолчанию она выключена.