Jak zadeklarować niezmienny struct z polami publicznymi?

Question

Chcę napisać równowartość tej C# w F #:

struct Vector2 { 
    public readonly int X; 
    public readonly int Y; 
    public Vector2(int x, int y) { 
     X = x; 
     Y = y; 
    } 
} 

Zmusza to użytkownika do dostarczyć argumentów do utworzenia instancji [EDIT: to jest złe dla typów wartości - wszystkie typy wartości mają domyślnego konstruktora] . Domyślny Vector2 może być również wyposażony w statyczne pole tylko do odczytu, tj. Vector2.Zero.

Wygląda na to, że jedynym sposobem uzyskania pól publicznych jest słowo kluczowe "val", ale nie pozwala mi na zainicjowanie ich za pomocą domyślnego konstruktora, a nie chcę mieć dwóch konstruktorów:

[<Struct>] 
    type MyInt(value) = 
     val public Value : int = value;; 

      val public Value : int = value;; 
    -------------------------------^ 

stdin(7,32): error FS0010: Unexpected symbol '=' in member definition 

Wiem, że można to zrobić z powiązaniami członków, ale to tworzy właściwości, a nie pola, jeśli dobrze rozumiem.

Answer 1

Według tego http://msdn.microsoft.com/en-us/library/vstudio/dd233233(v=vs.120).aspx, które mogą być wykonane jako

type Vector2 = 
    struct 
     val public X: int 
     val public Y: int 
     new(x: int, y: int) = { X = x; Y = y } 
    end 

Answer 2

Jeśli F # Record będzie pracować dla Ciebie, to będzie działać:

type MyInt = { 
    Value: int 
};; 

Następnie zainicjować:

let i = {Value=1};; 

Ponieważ nie jestem całkowicie pewien twojego przypadku użycia, nie jestem pewien, jak pomocne jest to jest.

EDIT: Na co warto, jeśli powodem preferując typ wartości jest to, że chcesz typ wartości semantykę równości, zapisy potwierdzają, że (mimo że są typy referencyjne). Rozważ to:

type Vector2 = { 
    X:int; 
    Y:int 
};; 

type Vector2 = 
    {X: int; 
    Y: int;} 

let v = {X=1;Y=1};; 

val v : Vector2 = {X = 1; 
        Y = 1;} 

let v2 = {X=1;Y=1};; 

val v2 : Vector2 = {X = 1; 
        Y = 1;} 

v = v2;; 
val it : bool = true 

let v3 = {X=2;Y=2};; 
v = v3;; 
val it: bool = false 

Chcę powiedzieć, że choć rekordy są typy referencyjne, jednym z powodów, że ludzie używają typy wartości (semantyka równości) nie ma problemu z ewidencji. Mimo że jest to typ odniesienia, uważam, że jest on dużo bliższy zachowaniu kodu C#, który próbujesz naśladować - za to, co jest warte.