is there a practical difference between this two getters, in F#?

Question

I'm wondering about the two syntax for the getters:

type Direction =
    | Undefined
    | Buy
    | Sell

    member this.Symbol =
        match this with
        | Direction.Buy       -> '↑'
        | Direction.Sell      -> '↓'
        | Direction.Undefined -> '→'

    member this.Symbol2 with get() =
        match this with
        | Direction.Buy       -> '↑'
        | Direction.Sell      -> '↓'
        | Direction.Undefined -> '→'
    

Is there any practical difference between the first one and the second one? The IL looks identical, but from the usage standpoint? is one preferred for any reason?

Answer 1

They are identical, yes. In general, prefer the first one. The reason why the second one exists is if you have some special logic to do that isn't just grabbing a value. It's more flexible, but more syntax.