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 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 ]