I have no idea how much work it is, but I was assuming it wasn't much. The benefit is being able to use unboxed data when your data will not have _ in it. That is you gain an ability to remove fills later.
As for a specific example, quicksort using power was what I would have liked to implement without boxing. But this can happen with strings too, where trailing space might be meaningful. ----- Original Message ----- From: Raul Miller <[email protected]> To: Programming forum <[email protected]> Cc: Sent: Thursday, August 28, 2014 7:27:45 PM Subject: Re: [Jprogramming] fit conjunction But this is saying the feature is needed because the feature is needed. The question is: what is a compelling example of a significant problem which would be made easier by this change? (Note also that my understanding is that this change would involve a lot of work - so you can think of my question as being really about the topic: why would that work be more compelling than other work?) Thanks, -- Raul On Thu, Aug 28, 2014 at 7:20 PM, 'Pascal Jasmin' via Programming < [email protected]> wrote: > fills are a core part of the language or working with arrays. Being able > to fill with _ is very convenient if 0 is a normal data item that needs to > be distinguished from. Always Be Boxing avoids these issues, and so I can > just keep on Always Be Boxing... > > Maybe there is a way to invoke # (copy) in such a way that it creates > fills, but its not clear how !. was meant to apply to it in the first place. > > > ----- Original Message ----- > From: Raul Miller <[email protected]> > To: Programming forum <[email protected]> > Cc: > Sent: Thursday, August 28, 2014 6:28:46 PM > Subject: Re: [Jprogramming] fit conjunction > > I guess the issue here is: what problem would this solve? > > (There's a generic problem with solving tautological problems. So it's good > to have some larger situation in mind, to avoid cluttering up the language > with overspecialized forms of generality.) > > Thanks, > > -- > Raul > > > > On Thu, Aug 28, 2014 at 1:44 PM, 'Pascal Jasmin' via Programming < > [email protected]> wrote: > > > It is a domain error to place the fit conjunction elsewhere. Perhaps a > > useful language enhancement would be that fit is defined for arbitrary > > verbs outside of the "whitelist" to be fill? > > > > > > ----- Original Message ----- > > From: Raul Miller <[email protected]> > > To: Programming forum <[email protected]> > > Cc: > > Sent: Thursday, August 28, 2014 1:38:07 PM > > Subject: Re: [Jprogramming] fit conjunction > > > > The 0 comes from the derived verb, not from # > > > > Thus: > > > > 2#^:|"+ 1 2 3 > > 1 1 > > 2 0 > > 3 3 > > 2(1+#^:|)"+ 1 2 3 > > 2 2 > > 3 0 > > 4 4 > > > > So you'll have to synthesize the _ on your own. Perhaps something like > > this: > > > > (+_*_1&=)<:2(1+#^:|)"+ 1 2 3 > > 1 1 > > 2 _ > > 3 3 > > > > Thanks, > > > > -- > > Raul > > > > > > > > > > > > > > On Thu, Aug 28, 2014 at 1:21 PM, 'Pascal Jasmin' via Programming < > > [email protected]> wrote: > > > > > (2#(!._)])^:(2|])"0 ] 1 2 3 > > > 1 1 > > > 2 0 > > > 3 3 > > > > > > the fit conjunction here has no effect, is there a way to get the 0 > fill > > > to be replaced with _ > > > ---------------------------------------------------------------------- > > > 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 > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
