3 ms·
Names should be automatically generated. Alpha-equivalence should be trivial. English shouldn't be required, but you're not going to get away from requiring som
by DonbunEf7 9y ago
Names should be automatically generated. Alpha-equivalence should be trivial. English shouldn't be required, but you're not going to get away from requiring something of equivalent expressiveness at some level.
- posterboy 9y agoRuby allowing utf-8 identifiers is successfully used with Japanese. Using symbols instead of a few english keywords would completely solve the problem, maybe using configurable automatic string replacement to get the symbols, comparable to IDEs like coq.