News for hackers. Stuff that matters.

A comment on Ruminations on D: An Interview with Walter Bright. Parent comment

Re:Ruminations on D: An Interview with Walter Bright by posterboy on Tuesday August 30, 2016 @12:40PM (#12391646)
I wonder, could a portable ownership model be implemented with the templates?
[ Parent | on HN ]
Re:Ruminations on D: An Interview with Walter Bright by pcwalton on Tuesday August 30, 2016 @01:52PM (#12392272)
Not soundly, no. The borrow check requires flow-sensitive analysis. The lifetime typechecker requires subtyping-aware extensions to Hindley-Milner.
[ Parent | on HN ]
Re:Ruminations on D: An Interview with Walter Bright by nialv7 on Wednesday August 31, 2016 @07:44PM (#12402284)
Can you going into some details about this? Like proofs?
[ Parent | on HN ]
Re:Ruminations on D: An Interview with Walter Bright by steveklabnik on Tuesday August 30, 2016 @12:57PM (#12391787)
I thought there was a DIP for this, but cannot seem to find it now.
[ Parent | on HN ]