One can construct a faithful tacit version, that uses the same method, of (
Jose=: 4 :'(|x&+)/i.->:y' ).
This is a legitimate version,
( v0=. '(| ' , ": , '&+)/@:i.@:-@:>:' "_ )123 NB. Producing a list
of characters...
(| 123&+)/@:i.@:-@:>:
( Jose0=. (v0 @[ apply ]) f. )
('(| ' , ": , '&+)/@:i.@:-@:>:'"_)@[ 128!:2 ]
but formatting the left argument is not very fulfilling.
This is an alternative underground version,
Verb=. (0:`)(,^:)
123 ( a1=. (&+) (|`) (`:6) / (@:i.) (@:-) (@:>:) ) NB. Producing a
verb...
(| 123&+)/@:i.@:-@:>:
( v1=. < @: (((5!:1)<'a1') Verb) ) 123 NB. Producing a
boxed verb...
┌─────────────────────┐
│(| 123&+)/@:i.@:-@:>:│
└─────────────────────┘
Apply=. ,^:(0:`(<'`:'))&6 @: ([ , < @: ((,'0') ,&< ]))
( Jose1=. (v1 @[ Apply ]) f. )
<@:(,^:(0:`(((((((&+)(|`))(`:6))/)(@:i.))(@:-))(@:>:))))@[ ,^:(0:``:)&6@:([
, <@:((,'0') ,&< ])) ]
They compare as follows:
st=. 7!:2@:] ; 6!:2
There is an overhead for Jose0 and Jose1...
5 st'Jose ("0) /~ i.100'
┌─────┬────────┐
│79424│0.243418│
└─────┴────────┘
5 st'Jose0 ("0) /~ i.100'
┌─────┬───────┐
│79744│0.28274│
└─────┴───────┘
5 st'Jose1 ("0) /~ i.100'
┌─────┬────────┐
│79616│0.393364│
└─────┴────────┘
... That becomes negligible for Jose1 when the verbs are feed with chunks
of data.
5 st'Jose ("_ 0)/~ i.500'
┌───────┬────────┐
│2081984│0.451307│
└───────┴────────┘
5 st'Jose0 ("_ 0)/~ i.500'
┌───────┬────────┐
│2082048│0.579429│
└───────┴────────┘
5 st'Jose1 ("_ 0)/~ i.500'
┌───────┬────────┐
│2082048│0.466739│
└───────┴────────┘
By the way, welcome to the forum Elton; 4 :'(|x&+)/i.->:y' was quite an
entrance!
On Wed, May 8, 2013 at 8:45 AM, Raul Miller <[email protected]> wrote:
> On Wed, May 8, 2013 at 8:11 AM, Linda Alvord <[email protected]>
> wrote:
> > I guess my question is why this happens:
> >
> > Jose=: 13 :'(|x&+)/i.->:y'
> > 4 Jose 38
> > 37
> > Jose
> > 4 : '(|x&+)/i.->:y'
>
> Because x&+ cannot be expressed tacitly if Jose is not an adverb nor a
> conjunction.
>
> > Is Jose really an adverb?
>
> Jose is a verb:
>
> Jose=: 13 :'(|x&+)/i.->:y'
> nc <'Jose'
> 3
>
> --
> Raul
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
>
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
