Мое поверхностное понимание переменных в f # предполагает, что объявление переменной как 'изменяемой' и использование переменной 'ref', по сути, делают одно и то же.Оба они являются разными способами решения одной и той же основной проблемы - ограниченного и структурированного допуска изменчивости в функциональном языке без необходимости прибегать к монаде ввода-вывода.То, что есть технические отличия, было «абстрагировано» моим пониманием.
- Если это так, почему замыкания не могут захватывать изменяемые переменные, но могут захватывать экземпляры ref?* В целом, в чем техническая разница между двумя формами, которая допускает это различие?
- Какова цель с точки зрения языкового дизайна введения двух сочетаний клавиш, а не только одного?
Извините, если это мульти-партер, но все они кажутся связанными.