Czy typy rekordów F # są zaimplementowane jako struktury lub klasy?

Question

Używam typów rekordów w F # do przechowywania niektórych prostych danych, np. w następujący sposób:

open Vector 

type Point = 
    { 
     x: float; 
     y: float; 
     z: float; 
    } 
    static member (+) (p: Point, v: Vector) = { Point.x = p.x + v.x ; y = p.y + v.y ; z = p.z + v.z } 
    static member (-) (p: Point, v: Vector) = { Point.x = p.x - v.x ; y = p.y - v.y ; z = p.z - v.z } 
    static member (-) (p1: Point, p2: Point) = { Vector.x = p1.x - p2.x ; y = p1.y - p2.y ; z = p1.z - p2.z } 
    member p.ToVector = { Vector.x = p.x ; y = p.y ; z = p.z } 

Nie mogę pracować, czy będzie to realizowane jako typ wartości lub odniesienia.

Próbowałem wstawiać [<Struct>] przed definicją typu, ale powoduje to wszelkiego rodzaju błędy kompilacji.

Answer 1

Zgodnie z tym artykułem wikipedii, http://en.wikipedia.org/wiki/F_Sharp_(programming_language), typy rekordów są implementowane jako klasy o określonych właściwościach.

Answer 2

[<Struct>] to poprawna składnia żądania typu wartości. Można zauważyć, stosowany w rozdziale 6 „Expert F #”, a ta jest akceptowana przez F # 2.0:

[<Struct>] 
type Point = 
    val x: float 
    new(x) = {x=x;} 

ale jeśli piszesz go jako [<Struct>] type Point = (czyli wszystko w jednej linii) nie produkuje szereg ostrzeżeń (bez błędów). Z której wersji F # korzystasz?

Answer 3

Rekordy są klasami, ale wszystkie pola są domyślnie niezmienne. Aby skorzystać z "przewagi" typów odniesienia, należy ustawić zmienne jako zmienne (można ustawić niektóre jako niezmienne, a niektóre jako zmienne), a następnie zmodyfikować ich wartość:

type Point = 
    { 
     mutable x : float 
     y : float 
     z : float 
    } 
    member p.AddToX Δx = p.x <- p.x + Δx