Ironclad C++

[Walter Bright]

On 8/4/2013 3:48 AM, Araq wrote:
>>
>> Consider the canonical example:
>>
>>     void* foo(void *p) { return p; }
>>
>> Do you write an overload for each kind of pointer?
>
> Doesn't D already have that problem with its immutable/const pointers?

Yes, and we've gone to considerable effort to deal with it, and there are still 
issues like using the same function for shared vs unshared pointers.

Introducing more pointer types makes things exponentially worse.