В SML мы можем изменить значение, на которое ссылается ссылка. Например,
let x = ref 1
in
x := 2;
x
end
Можем ли мы изменить значение, обозначаемое переменной, когда значение не является ссылкой?
let y = 1
in
# change y to denote a different value from 1
end
Можем ли мы изменить значение, обозначенное переменной, когда значение является ссылкой?
let z = ref 1
in
# change z to denote a different reference from `ref 1` above
end
Спасибо.