In the monadic case, there aren't many choices regarding function
composition:

u@v y ←→ u v y
u&v y ←→ u v y

But in the dyadic case, some very different choices are possible:

x u@v y ←→ u (x v y)
x u&v y ←→ (v x) u (v y)

So which one of these @ or &, should be named "of" or "on" or "after"?

That's one of Iverson's key contributions, compositions involving dyadic
functions.



On Mon, May 6, 2019 at 5:42 AM Henry Rich <[email protected]> wrote:

> Wikipedia (from Function Composition):
>
> /g/ ∘ /f/is read as "/g/circle/f/", "/g/round/f/", "/g/about/f/",
> "/g/composed with/f/", "/g/after/f/", "/g/following/f/", "/g/of/f/", or
> "/g/on/f/".
>
> I would say 'on', but I don't think that's much better than the others,
> including 'atop'.  Maybe 'after' would be easiest for newcomers.
>
> Henry Rich
>
>
> On 5/6/2019 8:38 AM, Brian Schott wrote:
> > Piet,
> > I cannot answer your question, but I do not like "atop" either.
> > To me the rewording would be as follows, though: (your line first, my
> line
> > second) notice the missing "of".
> > 'It seems more natural to say (u@v  y)  is  "u of v of y” rather than 'u
> > atop v of y.”'
> > 'It seems more natural to say (u@v  y)  is  "u of v    y” rather than 'u
> > atop v of y.”'
> > ----------------------------------------------------------------------
> > For information about J forums see http://www.jsoftware.com/forums.htm
>
>
>
> ---
> This email has been checked for viruses by AVG.
> https://www.avg.com
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
>
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to