RFC: scope and borrowing

[bearophile via Digitalmars-d]

Steven Schveighoffer:

> This begs the question, what is the point of having "strong 
> purity" if you can't optimize based on it?

Linear typing gives some guarantees that help the GC a lot, and 
avoid some coding mistakes. And some people could answer you that 
having (strongly) pure functions is a quality regardless of 
optimizations, because it makes both unit testing and code 
understanding simpler :-) I am not very expert on this stuff, I 
need to learn more.

Bye,
bearophile