On Thursday, 2 June 2016 at 23:05:40 UTC, Timon Gehr wrote:
On 03.06.2016 00:29, Walter Bright wrote:
On 6/2/2016 3:10 PM, Marco Leise wrote:
we haven't looked into borrowing/scoped enough
That's my fault.
As for scoped, the idea is to make scope work analogously to
DIP25's
'return ref'. I don't believe we need borrowing, we've worked
out
another solution that will work for ref counting.
Please do not reply to this in this thread - start a new one
if you wish
to continue with this topic.
I'd like to point out again why that design is inadequate:
Whenever the type checker is using a certain piece of
information to check validity of a program, there should be a
way to pass that kind of information across function
boundaries. Otherwise the type system is not modular. This is a
serious defect.
Seconded.
