Ok, so what you now seem to be saying is that the implementation is
definitive, not NuVoc. But that's something of a tautology and offers
no guidance for improvement. So I'm not comfortable with that point of
view.
If we go back to "NuVoc" is definitive, I suppose we could say that
"NuVoc" is definitive for future versions, ... but that brings us back
to NuVoc being easily changed so it seems like a moot point rather
than a rationale in and of itself.
Anyways...
I do not understand the rationale for two of your statements here:
(1) The statement that the dictionary is wrong.
(2) the statement that
(3,: _) ];._3 ] 3 0 7 2 9 1 5 8 4 6
should return empty.
If the rationale is that _ should be interpreted literally, then we should see:
$(3,: _) ];._3 ] 3 0 7 2 9 1 5 8 4 6
0 _
But that won't work, because elements of shape are integer values, not
floating point values and we don't currently have integer
representations of infinities. (And I'm not sure that adopting such an
approach would be an improvement.)
So that leaves us with throwing an error, or doing something special
instead of an error.
Meanwhile, in other contexts (like the rank operator) we have the
convention that an infinite value represents a calculated finite
value.
Now, there might be compelling reasoning that I'm over looking here,
but this seems like a relatively simple issue (which only needs to be
handled on the code path where the left argument is not already an
integer).
What am I missing?
Thanks,
--
Raul
On Fri, Nov 1, 2019 at 4:19 PM Henry Rich <[email protected]> wrote:
>
> If the 'issue' includes how the interpreter behaves, I don't see how
> changing NuVoc alone can fix it, unless you change it to match what the
> interpreter does. If the issue is just whether NuVoc matches Ye Dic,
> you could make them match - for the amount of time it would take to
> revert your change.
>
> Seriously: the problem is that the Dictionary is wrong. The _ thing
> should apply to ;.3 only, not to ;._3. If there is to be argument, it
> should be about what the language should do, not what the words in the
> Dictionary mean. I think ;._3 should return empty. Roger did too (he
> returned shape 0). Until there is consensus to change it, we should
> emend the documentation - not to match the implementation, but to
> describe the desired behavior.
>
> Henry Rich
>
>
> On 11/1/2019 4:10 PM, Raul Miller wrote:
> > So if I edit the NuVoc to include that sentence from the dictionary,
> > that would fix this issue?
> >
> > Thanks,
> >
>
>
> --
> This email has been checked for viruses by AVG.
> https://www.avg.com
>
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
