My thoughts on this include: All verbs are tacit verbs, even explicit verbs in a sort of empty sense. And, 5!:5 <'name' could be a good thing to run ds on.
I think ds has a problem with $: and this is related to some issues that might come up when dealing with named code (or at least, when thinking about code naming issues it occurred to me that I should test how ds deals with $:): (0 >. ]`($:@<:)@.*) 3 0 ds '(0 >. ]`($:@<:)@.*) 3' |assertion failure: sizesentence ds would be a good companion to a ui for trace. Where trace shows you the parsing of a sentence, ds will show you the data flow which occurs afterwards. But there are clear limitations on this approach, for example if the sentence uses ? ds should show different data each time it's used. -- Raul On Mon, Jun 3, 2013 at 12:42 PM, Henry Rich <[email protected]> wrote: > ds doesn't look inside verbs. Maybe there should be an option to replace > tacit verbs with their definitions, or to execute f. in the parser to expand > a tacit definition. I'll have to think about that. > > Henry Rich > > > On 6/3/2013 9:27 AM, Raul Miller wrote: >> >> ds 'hist 6' only shows the starting and ending values, not the >> intermediate values. >> >> This is more interesting, from my point of view: >> >> hist f. >> ' O' {~ (] !~ [: i. >:) >/ [: i. [: >./ ] !~ [: i. >: >> ds '('' O'' {~ (] !~ [: i. >:) >/ [: i. [: >./ ] !~ [: i. >:) 6' >> >> Also interesting comparing: >> >> ds '('' O'' {~ (] !~ i.@>:) >/ [: i. ] >./@:!~ i.@>:) 6' >> >> ds '('' O'' {~ (!~ i.@>:) >/ i.@(>./@:!~ i.@>:)) 6' >> >> ds '('' O'' {~ (i.@>: ! ]) >/ i.@(i.@>: >./@:! ])) 6' >> >> and contrasting: >> >> ds '('' O'' {~ (] >/ i.@(>./))@(i.@>: ! ])) 6' >> >> >> -- >> Raul >> >> On Mon, Jun 3, 2013 at 4:00 AM, Linda Alvord <[email protected]> >> wrote: >>> >>> You'll want this too. >>> >>> pas=: 13 :'(i.>:y)!y' >>> pas >>> ] !~ [: i. >: >>> >>> pas 6 >>> 1 6 15 20 15 6 1 >>> >>> Linda >>> >>> -----Original Message----- >>> From: [email protected] >>> [mailto:[email protected]] On Behalf Of Linda Alvord >>> Sent: Monday, June 03, 2013 3:49 AM >>> To: [email protected] >>> Subject: Re: [Jprogramming] z458095869_dissectnopath_ >>> >>> Henry, ds is fun! >>> >>> hist=: 13 :'((pas y)>/i.>./pas y){'' O''' >>> histi >>> ' O' {~ pas >/ [: i. [: >./ pas >>> hist 6 >>> O >>> OOOOOO >>> OOOOOOOOOOOOOOO >>> OOOOOOOOOOOOOOOOOOOO >>> OOOOOOOOOOOOOOO >>> OOOOOO >>> O >>> ds 'hist 6' >>> ds 'hist 8' >>> >>> It could get even bigger! >>> >>> Linda >>> >>> >>> -----Original Message----- >>> From: [email protected] >>> [mailto:[email protected]] On Behalf Of Henry Rich >>> Sent: Sunday, June 02, 2013 9:21 PM >>> To: [email protected] >>> Subject: Re: [Jprogramming] z458095869_dissectnopath_ >>> >>> Yes, and Ye Dic spells it out: >>> >>> m"(-r) y is equivalent to m"(0>.(#$y)-r)"_ >>> >>> Note the final "_ >>> >>> Henry Rich >>> >>> On 6/2/2013 8:55 PM, Roger Hui wrote: >>>> >>>> v b. 0 reports the on what the system thinks are the monadic, left, >>>> and right ranks, and those ranks are always positive. The following >>>> phrase shows another way that 0"_1 has infinite rank. >>>> >>>> >>>> <@(0"_1) i.2 3 >>>> ┌───┐ >>>> │0 0│ >>>> └───┘ >>>> >>>> When the "combining ranks" of a verb are negative, the interpretation >>>> is nasty and counterintuitive. Some of the nastiness were discussed >>>> in APL papers from the late 1980s. >>>> >>>> >>>> >>>> On Sun, Jun 2, 2013 at 5:10 PM, Raul Miller <[email protected]> >>>> wrote: >>>> >>>>> I think >>>>> >>>>> 0"_1 b. 0 >>>>> _ >>>>> >>>>> I think that result should be _1 _1 _1 >>>>> >>>> ---------------------------------------------------------------------- >>>> 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
