[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-apl] A couple of bugs, and a question on the power operator

From: Juergen Sauermann
Subject: Re: [Bug-apl] A couple of bugs, and a question on the power operator
Date: Sat, 13 Aug 2016 19:28:54 +0200
User-agent: Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Thunderbird/31.4.0

Hi Kacper,

actually making the header always ambivalent may break something because in that
case ⍺ is pushed when the function is called whereas in the current state of affairs ⍺ is
not pushed if ⍺ does not appear in the lambda.

It would also prevent the monadic use of the power operator with lambdas completely
(which is not as bad as it sounds, though) because the lambdas are always ambivalent then.

I believe the { ... ⊣ ⍺ } solution is straightforward and only a minor hassle compared to the
problems of a monadic condition function for the power operator.

/// Jürgen

On 08/13/2016 06:27 PM, Kacper Gutowski wrote:
I like the second of the proposed solutions.  Since ambivalent function
can always be called monadically, I think that making the header of
d-fns always λ←⍺ λ1 ⍵ regardless of whether ⍺ occurs in the body or not,
shouldn't break anything and would only make a language a bit simpler.
Although maybe a bit less consistent, because there would still be a
need to distinguish d-ops.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]