Let's get the semantic around closure fixed.

[Walter Bright]

On 5/19/2021 12:36 AM, deadalnix wrote:
> This is where attacking the problem from first principles helps. It is not about 
> the pointers, it is about the invariants. If the compiler can find a better way 
> to implement these invariants given a set of conditions, then great.

The thing about metaprogramming is users can build things by aggregating simpler 
pieces (like pointers). If the compiler has special semantics for a higher level 
type that cannot be assembled from simpler pieces, then the language has 
composability problems.

(This problem has shown up with the special semantics given to associative arrays.)