You would need another conjunction, not !. .
Consider (u@v)!.f
What verb would the !.f apply to? Answer: u@v.
Should the !.f apply to u and v also? Answer: no (consider (f g h)!.f).
But what about verbs that have rank but already use !.? Example: {.!.f
Would the !.f apply to the {. or to the collection? ???
To avoid the ambiguity, you would need a Framing Fill conjunction
u!..f
which is defined as 'u, but with f used for the framing fill'.
If there were a Council Of The Wise Men Of J, we could debate the merit
of this proposal. If the Council decided it was useful, we would need
some way to implement it and promulgate the change. Since neither the
Council nor the implementation methods exist, I consider the idea moot.
Henry Rich
On 8/28/2014 9:15 PM, 'Pascal Jasmin' via Programming wrote:
The problem is getting fills on functions that cause fills in the other items
processed by that function
,(!.'*')&'d'^:('c'={.)"1 ] 3 2 $ 'abc'
ab
cad
bc
if !. could apply to fills of any function then it could be written like this
(without a domain error):
,&'d'^:('c'={.)"1(!.'*') 3 2 $ 'abc'
ab*
cad
bc*
----- Original Message -----
From: robert therriault <[email protected]>
To: [email protected]
Cc:
Sent: Thursday, August 28, 2014 8:52:42 PM
Subject: Re: [Jprogramming] fit conjunction
Hi Pascal,
Would something like this not be the way to deal with trailing blanks?
8{.!.'*' 'ab'
ab******
My guess is that the ways you are considering its use would lead to
inefficiencies if this solution was used, but I thought I'd toss the idea out
anyway.
Cheers, bob
On Aug 28, 2014, at 5:05 PM, 'Pascal Jasmin' via Programming
<[email protected]> wrote:
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
----------------------------------------------------------------------
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
