No, it means the same thing as __&q: (switch argument order, elide the tilde)
or __ q: ] (use a NVV fork rather than a bound verb) or 13 : '__ q: y'
(explicit equivalent so you can see where the argument comes in). In other
words, (q:~&__) 742 gives the same results as __ q: 742 .
Rank (") is a different thing than bond (&). Interesting side note:
whatever"__ is the same as whatever"0"_ (but that fact won't help you reason
about q:~&__ because in that phrase, the __ is an argument to & not ").
-Dan
Please excuse typos; composed on a handheld device.
On Feb 17, 2013, at 2:32 PM, "Linda Alvord" <[email protected]> wrote:
> Does q:~&__ mean the same as q:~"__ or maybe (q:~)"__
>
> -----Original Message-----
> From: [email protected]
> [mailto:[email protected]] On Behalf Of km
> Sent: Saturday, February 16, 2013 10:57 PM
> To: [email protected]
> Subject: Re: [Jprogramming] Recursive programming (and scoping therein)
>
> f&13 y is y f 13 so f&__ y is y f __ . That __ is minus infinity. --Kip
>
> %&2 [ 25 NB. without [ the vector 2 25 is grabbed by &
> 12.5
>
>
> Sent from my iPad
>
>
> On Feb 16, 2013, at 9:13 PM, "Linda Alvord" <[email protected]> wrote:
>
>> I am trying to write factrs in simple J. I hit two snags:
>>
>> factrs=: */&>@{@((^ i.@>:)&.>/)@q:~&__
>> 5!:6 <'factrs'
>> ((((((*/)&>)@{)@(((^ (i.@>:))&.>)/))@q:)~)&__
>> factrs 500
>> 1 5 25 125
>> 2 10 50 250
>> 4 20 100 500
>>
>> f=:((((((*/)&>)@{)@(((^ (i.@>:))&.>)/))@q:)~)&__
>> g=:(((^ (i.@>:))&.>)/)
>> g
>> (^ i.@>:)&.>/
>> g 500
>> 500
>>
>> f=:((((((*/)&>)@{)@g)@q:)~)&__
>> h=:(((*/)&>)@{)
>> h
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
