[MLton] DisjointSet name changes

[Lukasz S Ziarek]

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,
> though.

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
> MLton@mlton.org
> http://www.mlton.org/mailman/listinfo/mlton
>