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

[jmh530]

On Monday, 12 April 2021 at 18:14:30 UTC, Timon Gehr wrote:
> [snip]
>
> 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.

Sorry, when you say non-compositional type system, what precisely 
do you mean?