Понимание byref, ref и &

Ну, я понял, что F# может управлять ссылками (что-то вроде ссылок на С++). Это дает возможность изменять значение параметров, передаваемых в функции, а также позволяет программисту возвращать более одного значения. Однако вот что мне нужно знать:

1. Ключевое слово Ref: ключевое слово ref используется для создания из значения ссылки на это значение предполагаемого типа. Так

   let myref = ref 10
   

   Это означает, что F# создаст объект типа Ref<int>, поместив туда (в изменяемое поле) мой int 10.

   В ПОРЯДКЕ. Поэтому я предполагаю, что ref используется для создания экземпляров типа Ref<'a>. Это правильно?

2. Значение доступа: чтобы получить доступ к значению, хранящемуся в ссылке, я могу сделать это:

   let myref = ref 10
   let myval = myref.Value
   let myval2 = !myref
   

   В то время как оператор := просто позволяет мне редактировать значение следующим образом:

   let myref = ref 10
   myref.Value <- 30
   myref := 40
   

   Итак, ! (Bang) разыменовывает мою ссылку. И := отредактируйте его. Думаю, это тоже правильно.

3. Оператор &: Что делает этот оператор? Следует ли применять его к ссылочному типу? Нет, я думаю, это должно быть применено к изменяемому значению, и что это возвращает? Ссылка? Адрес? При использовании интерактива:

   let mutable mutvar = 10;;
   &a;;
   

   Последняя строка выдает ошибку, поэтому я не понимаю, для чего нужен оператор &.

4. ByRef: А как насчет byref? Это очень важно для меня, но я понимаю, что не понимаю этого. Я понимаю, что он используется в функции передачи параметров. Кто-то использует byref, когда хочет, чтобы переданное значение можно было отредактировать (это немного противоречит философии функциональных языков, но f# — это нечто большее). Рассмотрим следующее:

   let myfunc (x: int byref) =
       x <- x + 10
   

   Это странно. Я знаю, что если у вас есть ссылка let myref = ref 10, а затем сделать это, чтобы отредактировать значение: myref <- 10, то возникает ошибка, потому что должно быть так: myref := 10. Однако тот факт, что в этой функции я могу редактировать x с помощью оператора <-, означает, что x не является ссылкой, верно?

   Если я предполагаю, что x не является ссылкой, то я также предполагаю, что в функциях при использовании byref для параметра к этому параметру может применяться изменяемый синтаксис. Так что это просто вопрос синтаксиса, если я предполагаю, что у меня все в порядке, и на самом деле все работает (без ошибок компилятора). Однако что такое x?

5. Вызов функций: как я могу использовать функцию, использующую параметры byref?

   Задействован оператор &, но не могли бы вы объяснить это лучше, пожалуйста? В этой статье: Параметры и аргументы MSDN приведен следующий пример:

   type Incrementor(z) =
       member this.Increment(i : int byref) =
          i <- i + z
   
   let incrementor = new Incrementor(1)
   let mutable x = 10
   // A: Not recommended: Does not actually increment the variable. (Me: why?)
   incrementor.Increment(ref x)
   // Prints 10.
   printfn "%d" x  
   
   let mutable y = 10
   incrementor.Increment(&y) (* Me: & what does it return? *)
   // Prints 11.
   printfn "%d" y 
   
   let refInt = ref 10
   incrementor.Increment(refInt) (* Why does it not work in A, but here it does? *)
   // Prints 11.
   printfn "%d" !refInt