Hello Robert,
BCS wrote:
Reply to Robert,
Hmm... I'd say x.⊆(y) is preferable x.isSubsetOf(y), but it's not a
huge deal.
Only until you have to type it. I think universal alpha includes only
the union of things that can be easily typed on standard keyboards. I
don't think any keyboard (ok maybe an APL keyboard) has the subset
symbol on it.
I have 10 configurable keys on my keyboard, none of which are in use.
I could also remap my numpad (cause, seriously, who uses this?) Also,
many editors can be configured so that a sequence of characters
converts to a single one.
There appears to be no reason that mathematical symbols aren't allowed
in identifiers... Think of how awesome it would be to write
assert(x⊇y→∀a∈x∃b∈y(a⊇b)) ... Okay, that would require overloading of
those operators (and instantiating variables in a new way), but still!
Allowing them as operators would be cool (and won't happen for another whole
host of reasons that have nothing to do with this) but in identifiers? Not
a chance. I don't care what you can type, what matters is what /I/ can type
(the generic 'I', assuming I can read your comments -> I use your language
-> I use your alphabet).
