Кортежи являются подтипами array. Они позволяют типизировать массивы фиксированной длины, в которых значения каждого индекса имеют конкретные известные типы