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.

-k


Reply via email to