I am not an implementor nor a designer, and hope not to speak out of turn,
so take my reply for what it is: no, there are no such plans.
I am curious why you think that _^_ should be considered indeterminate.
There seems to me to be no problem with it; the limit as x->_ of x^x is _.
0%0 is discussed at https://www.jsoftware.com/papers/eem/0div0.htm, and
0^0 on page 6 at https://arxiv.org/PS_cache/math/pdf/9205/9205211v1.pdf.
I disagree with your statement that these operations do not work as they
'should', mathematically. Mathematically, they are perfectly well defined
and consistent. That other definitions are used does not seem especially
significant; the question should be whether the present definitions are
convenient, useful, and sufficient. I think that they are, though I would
welcome arguments to the contrary.
-E
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
