On Sat, Mar 31, 2012 at 9:39 PM, Viktor Cerovski <viktor.cerov...@gmail.com> wrote: > Claim: > J has the following type: nouns that are one-dimensional arrays of > non-negative integers (vectors) that have rank *strictly* greater than 1. > Furthermore, J will do the type-checking of this type automatically.
Here, I know I am not following you. The number of dimensions of an array is its rank. So if you have a one-dimensional array of non-negative integers, its rank is 1, and its rank cannot be strictly greater than 1. Typo? -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm