CODEWITHSUNDEEP
ooppropertiesconstructorf#initialization
user1158550
user1158550

Reputation:

F# Object constructor

After recently picking up a bit of C# after a long time of F#, I came to realise that 'object constructors' are a nice way of tricking oneself into believing they are dealing with a functional object.

Consider:

let x = new Something()
x.Key <- 1
x.Value <- 2

This feels very unclean because of the very obvious mutation of values. Especially if we keep our objects write once, it feels very unnecessary In C#, it is possible to initialise the object like this:

var x = new Something() { Key = 1, Value = 2 };

This looks nicer and actually it felt like I was using a record (almost), obviously its just sugar but its nice sugar.

Q. Assuming we have no control over `Something' (pretend its from some C# library), is it possible, in F# to use this shorthand initialisation, if not, why?

Upvotes: 3

Views: 568

Answers (2)

desco
desco

Reputation: 16782

Yes, F# support use cases similar to C# object initializers but F# approach is somewhat more generic. F# specification 14.4 Method Application Resolution says:

(after method is successfully resolved) Build the resulting elaborated expression by following these steps:

  • For each NamedActualArgs whose target is a settable property or field, assign the value into the property.

meaning that you can do things that C# doesn't allow

type Something() = 
    member val Key = 0 with get,set
    member val Value = "" with get,set
    static member Create() = Something()

let a = Something(Key = 1, Value = "1") // create instance with constructor, set properties afterwards
let b = Something.Create(Key = 1, Value = "1") // create instance using factory method, set properties afterwards

Upvotes: 3

p.s.w.g
p.s.w.g

Reputation: 149020

Yes, you can do that. It would look something like this:

let x = new Something(Key = 1, Value = 2)

The syntax is detailed in Constructors (F#) under the section "Assigning Values to Properties at Initialization".

Upvotes: 5

Related Questions