I'm surprised you expected ('' -:&{. I.0) would be true, as monadic {.
results in a fill when it is given an empty argument. If it had been
decided that {. would result in y when y is empty, then the sentence
in question would be true under the current meaning of -: .
The Match in ('' -:&{. I.0) compares a space with a zero. We don't
want those values to be treated as a match, I think you'll agree.
Tracy
On Wed, May 27, 2009 at 1:08 AM, June Kim <[email protected]> wrote:
> ''-: I. 0
> 1
> {. ''
>
> {. I.0
> 0
>
> Shouldn't '' -:&{. I.0 be true, given ''-:I.0?
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
>
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm