[Pitch #2] Property Delegates by Custom Attributes

[anandabits (Matthew Johnson)]

@Sergo_Beruashvili

Will it be possible to use multiple delegates?

With structs we can write something like Lazy<AnotherDelegate<YetAnother<Int>>> ; can we compose attributes like this?

Yes, but only if the outer layers are specifically designed to support this. I sketched out an approach to higher-order delegates in the pitch thread. One downside is that this approach requires an Identity delegate if you want to be able to use a higher-order delegate without an inner delegate. It also isn’t clear how it will work with inference of the underlying value type (if anyone pulls the toolchain and tries it please let us know!).