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
