C++ pattern matching is coming

[Walter Bright]

On 10/24/2022 4:18 PM, Timon Gehr wrote:
> It does not allow me to do most of the things I'd like to do with lifetime 
> tracking.

I'd appreciate if you would write this all up, and in the simplest possible 
terms. Most examples I see are hopelessly overcomplicated, I have to do a lot of 
reduction to figure out the essence of it :-/

For example, there's no need for templates to demonstrate a lifetime issue. Or 
arrays, or non-static member functions, or copy constructors, or other 
abstractions. Almost always simple pointers and refs will do.

> At least `scope` is checked by the compiler more reliably now, which 
> is good.

I try to distinguish between fundamental design faults and implementation bugs. 
I recently went through the entire list of dip1000 issues in bugzilla, including 
those that asserted that scope was unfixable, and they all turned out to be 
tractable.