[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-apl] Identify function
From: |
Kacper Gutowski |
Subject: |
Re: [Bug-apl] Identify function |
Date: |
Wed, 2 Jul 2014 17:20:43 +0200 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
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