Open iounpaladin opened 8 years ago
How do you suggest overloading? Considering that atoms have fixed arity, you might be referring to type overloading. If you are, I don't see how this would save many bytes, in the long run.
What about the two-char nilads? Those could possibly be copied into the unused nilad bytes.
I think that once they are assigned their two-byte names, they cannot change, because it will break each and every PPCG answer using them at all. Maybe newer nilads could go to one-byte names.
That's why I said copied.
Nah, that would be impractical and wasteful. Newer nilads could use that space! Or, make a second version of the language to transfer them and use 2 bytes for newer ones.
Well, at least nilads like pi should be a single-byte as well as a double-byte.
See my edited message.
You could change the two-char atoms to either overloads of other atoms, or one-char atoms. I assume there isn't already 256 used bytes.
Sorry for typos, I'm on mobile.