Discussion Thread: DIP 1041--Attributes for Higher-Order Functions--Community Review Round 1

[Timon Gehr]

On 12.04.21 20:09, Imperatorn wrote:
> On Monday, 12 April 2021 at 09:36:29 UTC, Mike Parker wrote:
>> ## Discussion Thread
>>
>> This is the discussion thread for the first round of Community Review 
>> of DIP 1041, "Attributes for Higher-Order Functions":
>>
>> [...]
> 
> I think the DIP has a noble goal, but is too complex. Try to keep it 
> minimal if possible

Unfortunately that's the nature of the chosen approach: 
non-compositional type system design is a game of whack-a-mole resulting 
in progressively more complexity while often maintaining a lack of 
soundness.