Здравствуйте, D. Mon, Вы писали:

V>>В твоём примере a и b — это не ссылочный тип, это специальный тип переменной объектного типа, это алиас.
DM>Ну какой еще нафиг алиас, где ты вообще взял это слово?


Ясно.
Можно завершаться.

Алиас — это символьное обозначение одного и того же.
Например, в твоём примере a и b — это одна и та же переменная, а не две.
Учите матчасть.


DM>А зачем нужна переменная, значение которой недоступно?

Верно, не нужна. Значение a и б тебе НЕ доступно.
Т.е. тебе недоступно собсно значение индекса.

Я же тебе говорил уже, что ссылки в том же С++ имеют семантику алиаса.
Т.е., если ты объявил вот так несколько ссылок на одно и то же значение:

int a = 42;
int & b = a;
int & c = b;

То С++ прямо в стандарте предупреждает, что не обещает, что b и c будут разными переменными.
Более того, он вообще не обещает, что будут переменные b и c, он прямо говорит, что скорее всего никаких переменных b и c НЕ будет, а скорее всего будет только переменная a.


V>>Правильно ли я понимаю выделенное, что мутабельная переменная ВСЕГДА имеет ссылочную семантику?
DM>Насколько я помню, в окамле примерно так и выходит, да.

И даже СЕЙЧАС ты не понял, что это означает?
Этот вопрос сверхмегапринципиальный. ))

Потому что получается наборот — мутабельная переменная размещается на куче, но при этом НЕ имеет никакой ссылочной семантики.
А происходящее в array — это лишь побочный эффект такого положения вещей, когда в ФП-язык привносят ср-ва для повышения эффективности — возможность "линейного" расположения данных в памяти.