What would a higher ranked catalogue do? How would this be useful?

(That asked... I imagine I could contrive some examples of catalogue which
take advantage of its current behavior. For example: {{A where 2=L.A )

Thanks,

—
Raul

On Monday, July 23, 2018, Don Guinn <[email protected]> wrote:

> It seems like the problem is that Catalogue manadic rank is one. I really
> can't see much use in passing it a table or higher rank of boxes. So what
> about changing its monadic rank to infinite? It seems to me that that would
> open up interesting possibilities, including as Henry wanted it to work in
> the first place. As of now the things being built restricted to numbers or
> letters. It would not affect anyone using it with a list of boxes as it
> would still work the same.
>
> Is there any way to determine the rational for its monadic rank being one?
>
> On Mon, Jul 23, 2018 at 10:12 AM Henry Rich <[email protected]> wrote:
>
> > No.  But no argument for doing so either.  Thus, I will not complicate
> > the code with the special case.
> >
> > Henry Rich
> >
> > On 7/23/2018 9:39 AM, Raul Miller wrote:
> > > Any reason to not make the L.0 case for { use the <“1 implementation?
> > >
> > > Thanks,
> > >
> > > —
> > > Raul
> > >
> > > On Sunday, July 22, 2018, Henry Rich <[email protected]> wrote:
> > >
> > >> I'll get the answer to this one right.  <"r is heavily optimized.
> Don't
> > >> try to replace it.
> > >>
> > >> Henry Rich
> > >>
> > >> On 7/22/2018 7:08 PM, Don Guinn wrote:
> > >>
> > >>> Yes. The documentation describes exactly what's happening. The rank 1
> > is
> > >>> the key making each number an item. In this case it is the equivalent
> > to
> > >>> (<"1) by itself. So, is it a good idea to use ({) in place of (<"1)
> > when
> > >>> wanting to box something rank 1? It's shorter and simpler to read.
> But
> > >>> what
> > >>> about optimization? It seems to me that it would be a neat example in
> > >>> NuVoc.
> > >>>
> > >>> On Sun, Jul 22, 2018 at 4:42 PM <[email protected]> wrote:
> > >>>
> > >>> Henry Rich wrote:
> > >>>>> As I read Ye Dic, ({ i. 2 4) should give the same result as
> > >>>>> ({ <"1 i. 2 3).
> > >>>>>
> > >>>> I never thought I'd have to say this to *you* but:
> > >>>> note that Catalogue { has rank 1.
> > >>>>
> > >>>> Hence there should not be any interaction between the colors in
> > >>>>
> > >>>>      { 'black' ,: 'green'
> > >>>>
> > >>>> nor in the low / high vectors in
> > >>>>
> > >>>>      { i. 2 4
> > >>>>
> > >>>>
> > >>>> To me, Catalogue { works just fine as-is.  In particular, the DoJ
> > >>>> also covers the "open argument" case as it stands.
> > >>>>
> > >>>>      { 'black'            NB. the same as:   { 'b' ; 'l' ; 'a' ; 'c'
> > ; 'k'
> > >>>> +-----+
> > >>>> |black|
> > >>>> +-----+
> > >>>>
> > >>>> Quote:
> > >>>>
> > >>>>           {y forms a catalogue from the atoms of its argument, its
> > shape
> > >>>>           being the chain of the shapes of the opened items of y .
> The
> > >>>>           common shape of the boxed results is $y .
> > >>>>
> > >>>>                                                           Martin
> > >>>>
> > >>>>
> > >>>> [PS 1:  the empty shape of the resulting box
> > >>>>
> > >>>>      $ { 'black'
> > >>>>
> > >>>>
> > >>>> happens to be a concatenation ("chain") of the five empty letter
> > shapes
> > >>>> here.
> > >>>>
> > >>>> PS 2:  Those reading down to here may also be interested in this
> > >>>> short exercise:
> > >>>>
> > >>>>           What's the result of
> > >>>>           { 'ht' ; 'ao' ; ,. 'gtw'
> > >>>>           ?
> > >>>>
> > >>>> (Just follow the instructions above :-)
> > >>>> ]
> > >>>> ------------------------------------------------------------
> ----------
> > >>>> For information about J forums see
> > http://www.jsoftware.com/forums.htm
> > >>>>
> > >>> ------------------------------------------------------------
> ----------
> > >>> 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
> >
> > ----------------------------------------------------------------------
> > 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

Reply via email to