SE-0258: Property Delegates

[kiel (Kiel Gillard)]

@Jon_Hull

Then you have full control over the storage. If you don't provide your own storage, then it would be synthesized by the compiler (but without an accessible name).

Completely agree. I also think a new keyword like from or by at the declaration site would do much to reduce verbosity and density:

@kiel

With respect to exposing the storage using the $ syntax, could this be an alternative approach?

public var myProperty: Int from myStorage
private var myStorage: AtomicLazy<Int>()

The idea here is that implementations wanting access to the storage should declare and name a property that provides for another’s storage. Otherwise, the storage remains inaccessible:

public var myProperty: Int from AtomicLazy()

What I like about this is the developer can express that the overall implementation of the type with the property with delegated storage should (or does) not manipulate the storage directly.

I'd also add that the synthesized storage would be still be accessible through runtime reflection.