[MLton] DisjointSet name changes
Lukasz S Ziarek
Tue, 27 Jul 2004 12:34:35 -0500 (EST)
On Tue, 27 Jul 2004, Stephen Weeks wrote:
> > I always really feel annoyed by ! because it is so easy to miss or not
> > recognize. Perhaps it is my eyes and the small fonts I use finally catching
> > up with me.
> > Any way, either way is ok with me, although I am sure that I will get
> > confused a bit when I see := and assume that the LHS is a ref.
> I suspect the typical use will be as qualified identifiers, so you
> will see Set.! and Set.:=. I'm not sure that's so beautiful,
The . looks kinda awkward, what about Set! and Set:=, though that will
break other conventions =(, or just shortening the previous syntax to
something like Set.val and Set.set.
> My main reason for doing the change is for uniformity, since the
> operations have exactly the same semantics as for refs. In fact, one
> can think of disjoint sets as a generalization of refs with an
> additional "union" operation.
> MLton mailing list