RFC: scope and borrowing

[via Digitalmars-d]

Cool initiative!

It is probably a good idea to look at what other languages with 
linear type systems are doing:

http://en.m.wikipedia.org/wiki/Substructural_type_system

My gut feeling is that borrowing in D will suffer the same 
problems as @safe without a high level IR that is proven correct. 
Meaning, if the IR is correct you can add new language features 
without breaking the type system.