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

[Imperatorn]

On Wednesday, 14 April 2021 at 11:43:22 UTC, jmh530 wrote:
> 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?

My guess is something like this:
https://dl.acm.org/doi/abs/10.1145/2036918.2036930
http://set.ee/publications/cats06.pdf