This forum is closed to new posts due to low activity and a deluge of spam. It is kept online as a static historical record. If you want to read about or discuss esoteric programming languages, the Esolang wiki is the place to go. An archive of the forum is available.
Okay. Let's make the language as referentially transparent as possible... like a list of function primitives that apply themselves to each other, and have the primitives be such that evaluation order doesn't matter.
Well, suppose you have a program like "ei4", and "ei" evaluates to "5" and "54" evaluates to "n". Then, if "i4" evaluated to "T", "eT" would also have to evaluate to "n". Evaluation order just wouldn't matter, and it couldn't in this little paradigm.