2010/4/6 Larry Wall <la...@wall.org>:
>    Set(Read | Write)   # bogus, R|W is really 3 sets, R, W, and RW!
>    Set(Read & Write)   # okay, can only represent RW

Set(A | B) doesn't seem so bogus to me, if what you want is the power
set- not the original posters intent, but reasonable in other
contexts. Though it's not quite the power set of A,B since it omits
the empty set.

Still, I wonder if special-casing passing a junction to a set is
helpful. Why write Set (A & B) when you mean Set(A,B), and what if you
want a set of junctions, e.g. Set(A&B, B|C)?

Reply via email to