Do you mean by "left leaning hook" the following
definitions?

  f LH g y  <->  (f y) g y
x f LH g y  <-> (f x) g y

We have not considered it.  The fact that it can
be readily accomplished as a fork would
argue against it.  

There are some arguments against hook itself.  See:
http://www.jsoftware.com/jwiki/Essays/Hook%20Conjunction%3F



----- Original Message -----
From: Boyko Bantchev <[email protected]>
Date: Friday, October 30, 2009 1:58
Subject: Re: [Jprogramming] x � [y1,y2)
To: Programming forum <[email protected]>

> 2009/10/30 Roger Hui <[email protected]>:
> > ...
> > Because I prefer to have the interval end points
> > as the left argument.
> >
> > In APL/J, it is generally the case that
> > the left and right arguments are so defined
> > that x&f makes a more sensible monad
> > than f&y .   The n v1 v2 fork accentuates
> > this point.
> 
> I understand now what you mean, thanks for explaining.
> (The formulations in phrases/intervals are in the other
> direction.)
> 
> Now, I am curious about the following.  With expressions like
> the above, where some verbosity is apparent, one feels like using
> a ‘left-leaning’ hook which J doesn't have.  Has such a device
> been considered?  Perhaps found not frequently occurring?
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to