To help LDC/GDC

[Timon Gehr]

On 04/09/2013 12:57 PM, Daniel Murphy wrote:
> "deadalnix" <deadalnix at gmail.com> wrote in message
> news:yhvwbephdechjxvrkyal at forum.dlang.org...
>>
>> No, D have holes in its type system and so can't ensure anything. It has
>> been show many many many times, especially by Timon and myself, and I'm
>> kind of fed up to have to repeat that again and again, especiallt since
>> fix proposal have recieved no attention at all.
>>
>> Stop claiming that such possibility exists, or take a serious look at how
>> to really ensure it.
>
> The const/pure etc systems are based on certain guarantees, and places where
> they can be broken are bugs. These bugs DO NOT change what optimization
> opportunities are allowed by the original guarantees.  Stop claiming they
> do.
>

That is certainly true, but mostly so because basically the only thing
that appears to be documented in the case of const are the guarantees
themselves.

In this case, it is pretty clear that a type system that actually
ensures that the guarantees in the spec hold could be created, but I
guess deadalnix dislikes the general scheme of:

A: I have developed an algorithm that solves 3-SAT in linear time.
B: It does not work.
A: Please report this to the bug tracker.
A: I have developed an algorithm that solves 3-SAT in linear time.