Ironclad C++

[Walter Bright]

On 8/3/2013 7:41 PM, Timon Gehr wrote:
> Yes, but as far as I understood it you can assign lptr<void> back to ptr<void>
> implicitly by paying for a runtime check. It's what D will be doing with T* <->
> ref T, right?

I thought the idea was to use the type system to avoid runtime checks.


> (The general problem is easily addressed at the type system level using some
> kind of parametric polymorphism, but they don't do that. D's inout is a somewhat
> failed attempt that gets quite close to solving the issue for the mutability
> qualifiers.)

I don't believe it is easily addressed or someone would have done so by now.