Re: [Bug-apl] Identify function

[Kacper Gutowski]

On 2014-07-02 14:36:37, Juergen Sauermann wrote:
> I have added monadic ⊣ and ⊢ see SVN 355.
> 
> Instead of making them identical I though it might be better to do
> different things. What I came up with is this:
> 
> ⊢ B returns (a copy of) B as a normal APL value.
> ⊣ B also returns a copy of B, but as a committed APL value.

It IMO makes a lot more sense than having two primitives doing exactly
the same thing.  It's also a bit similar to A+ usage where monadic forms
are both equivalent to having () as left argument (and where () doesn't
produce any output).

There is also another use I mentioned earlier when we were discussing
rank operator — disambiguating right operand and right argument of
derived function.  I just compiled SVN 355, and, lo and behold:

      +⍤1⊢2 3 4 5
2 3 4 5

This actually works in GNU APL now!  Thanks.


-k