Perhaps also worth noting that ` could have its definition updated to use the atomic representation of unboxed nouns in place of those nouns.
That's not exactly the definition of your ti conjunction, but it also would not change the behavior of any current non-error case, and would address the common cases. (Also, boxing in general is going to require a little extra coding work because the abstraction is all about combining data structures which otherwise would not be combined.) Thanks, -- Raul On Fri, Oct 15, 2021 at 8:28 AM 'Pascal Jasmin' via Programming <[email protected]> wrote: > > On the off chance anyone forgot or is not sick of hearing it, CC is still > superfluous given a conjunction called "ti" (or redefinition of `) that > builds a gerund from nouns in addition to verbs > > > 1 (& :. (((-ti)(`:6)) & ].)) o. > > 1&o. :.(_1&o.) > > but also note that the original {{-m}} definition met the "semi-tacit" > criteria of returning a tacit expression without any significant computation > > > but I am liking the CCC definition (more than similar/equivalent ACC). Which > can also be used to construct uACu from an A and C with: > > > ((([.A) C [.) a:) > > > if AC were uA(Cv), original request could be simplified as > > > (& :. ({{-m}} & ) NB. or with the ti construct > > > > On Friday, October 15, 2021, 03:57:46 a.m. EDT, Elijah Stone > <[email protected]> wrote: > > > > > > On Fri, 15 Oct 2021, Henry Rich wrote: > > > oi =: (& :. ((-([.].)) & ].)) o. > > 1 oi > > 1&o. :.(_1&o.) > > Putting the V N bident to good use already, I see :) > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
