Upon further searching, I found http://www.jsoftware.com/pipermail/general/2005-November/025629.html, which seems to answer my question.
On Fri, Oct 25, 2013 at 7:04 PM, Ganesh Rapolu <[email protected]> wrote: > The dictionary does not say that the two arguments for -: have to match in > type so this result is correct. Nevertheless, I would be glad if someone > could provide an explanation/justification for this behavior. > > datatype m =. 0 {. 'adaf' > literal > datatype n =. 0 {. 10 0 10 10 > integer > m -: n > 1 > > If my recent posts seem primarily to be criticizing the language, let it > be known that I use J as my primary programming language and find it > superior to any other that I have used before, both in terms of > documentation and expressive power. I am merely someone who is trying to > better understand the design of J. > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
