13-May-2013 00:28, Walter Bright пишет:
On 5/12/2013 6:01 AM, Andrei Alexandrescu wrote:
Bartosz, Walter and I reached a similar design a few years ago. We
just thought
it complicates things too much for what it does.
I've been working in the background on a scheme that can infer
uniqueness. The beauty of it is it will not require visible language
changes - it's just that things that didn't compile before now will.
Good things these are, but that adds up to what a programmer should know
or we are stuck trying out combinations that might work until we hit it.
--
Dmitry Olshansky