S> массив это частичная функция, отображающая натуральные числа в тип T.

Недостатком вашего текста является его куцесть.
Рандомная веб-макака типа меня его не поймёт.

Что такое "частичная функция", что такое "натуральные числа", и зачем тут вообще типы? (относятся ли они к вопросу организации массивов прямо или попосредованно).

Если же вы начнёте расписывать и объяснять, меньше 2-х 3-х страничек с картинками не получится.

S> массив это частичная функция, отображающая натуральные числа в тип T.

Недостатком вашего текста является его куцесть.
Рандомная веб-макака типа меня его не поймёт.

Что такое "частичная функция", что такое "натуральные числа", и зачем тут вообще типы? (относятся ли они к вопросу организации массивов прямо или опосредованно).

Если же вы начнёте расписывать и объяснять, меньше 2-х 3-х страничек с картинками не получится.