On 9 April 2013 20:57, Daniel Murphy <[email protected]> wrote:
> "deadalnix" <[email protected]> wrote in message > news:[email protected]... > > > > 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. > The only optimisation possibility is for strong pure functions that are also nothrow, right? Was that the conditions for pure function refactoring?
