On Fri, 25 Feb 2011 19:01:28 -0500, Tomek Sowiński <[email protected]> wrote:
Robert Jacques napisał:
On Fri, 25 Feb 2011 02:48:01 -0500, Kevin Bealer
<[email protected]> wrote:
> I think immutable could benefit from a Value Range Propagation-like
> uniqueness
'unique' has been proposed and heavily discussed before in the news
group.
There even is std.typecons.Unique. Unfortunately, Walter has stated that
there are issues/difficulties in adding 'unique' to the language.
What were those difficulties?
YATC (yet another type constructor)
Plus, when this was the topic de jour, there were about 3 other type
constructors that were touted as "needed" in order to make unique work
(like "borrowed" and "lent"). Bartosz had a blog post about it. This
meant you had to accept 3 or 4 new type constructors to get unique.
I really like this idea as a way to have unique without the type
constructor: http://d.puremagic.com/issues/show_bug.cgi?id=5081
-Steve
