>  Won't this destroy adverb trains?

I do not think so.  I am not aware of any J adverb train destroyed by a Jx
v1.1 interpreter.

>
>  On Fri, Aug 18, 2017 at 6:04 PM, Jose Mario Quintana
>  <jose.mario.quintana at gmail.com> wrote:
>  > Jx version 1.1, not yet released, allows adverbs and conjunctions to
act on
>  > boxed verbs, adverbs and conjunctions (see [0] for the motivation),
>
>  A train is a deferred action syntactic construct.

Remember, arrays of boxed verbs, adverbs and conjunctions are nouns;
furthermore, as far as a Jx v1.1 interpreter is concerned they are also
gerunds.

Incidentally, is

   (%:3) * ]
1.7320508075688772 * ]

"a deferred action syntactic construct"?

Also, is

   v"(<:1)
v"0

"a deferred action syntactic construct"?

>
>  It seems to me that by preventing the deferral you prevent the train
>  from forming.
>
>  (Put differently: since Jx is drifting away from J programming,

On the contrary, Jx extends J but Jx is firmly tied to J.

>  perhaps we should also move this kind of discussion to the chat
>  forum?)

I do not subscribe to the chat forum.  Perhaps we should postpone this kind
of discussion until Jx v1.1 is released?

>
>  Thanks,
>
>  --
>  Raul



On Fri, Aug 18, 2017 at 11:54 PM, Raul Miller <rauldmil...@gmail.com> wrote:

> Won't this destroy adverb trains?
>
> On Fri, Aug 18, 2017 at 6:04 PM, Jose Mario Quintana
> <jose.mario.quint...@gmail.com> wrote:
> > Jx version 1.1, not yet released, allows adverbs and conjunctions to act
> on
> > boxed verbs, adverbs and conjunctions (see [0] for the motivation),
>
> A train is a deferred action syntactic construct.
>
> It seems to me that by preventing the deferral you prevent the train
> from forming.
>
> (Put differently: since Jx is drifting away from J programming,
> perhaps we should also move this kind of discussion to the chat
> forum?)
>
> Thanks,
>
> --
> Raul
>
> On Fri, Aug 18, 2017 at 10:44 PM, Jose Mario Quintana
> <jose.mario.quint...@gmail.com> wrote:
> > What is "this"?
> >
> > On Fri, Aug 18, 2017 at 8:52 PM, Raul Miller <rauldmil...@gmail.com>
> wrote:
> >
> >> Won't this destroy adverb trains?
> >>
> >> Thanks,
> >>
> >> --
> >> Raul
> >>
> >>
> >> On Fri, Aug 18, 2017 at 6:04 PM, Jose Mario Quintana
> >> <jose.mario.quint...@gmail.com> wrote:
> >> > Inline comments follow...
> >> >
> >> >>  Hi all !
> >> >>
> >> >>  I tried out the functionality of Jx and got some problems.
> >> >>  I expected these two expressions to be equivalent, but got syntax
> error
> >> >>  on the second.
> >> >>
> >> >>  +(".. '/') 1 2 3
> >> >>  6
> >> >>  +(".. [: / ]:) 1 2 3
> >> >
> >> > One issue is that  ]:  is an adverb and adverbs can only act on nouns
> and
> >> > verbs.  Adverbs and conjunctions must be provided as atomic
> >> representations
> >> > or equivalent.  The current documentation is incomplete and will be
> >> fixed;
> >> > thank you for noticing this problem.
> >> >
> >> > To wit, the adverb can be boxed using  ]: as follows,
> >> >
> >> >     an=. <@:((":0) ,&< ]) NB. Atomizing a noun (or verb, adverb or
> >> > conjunction)
> >> >
> >> >    [: (/an) ]:  NB. (/an) is the Jx train (a v)
> >> > ┌─┐
> >> > │/│
> >> > └─┘
> >> >
> >> > or,
> >> >
> >> >    [: (/("..inv)) ]:
> >> > ┌─┐
> >> > │/│
> >> > └─┘
> >> >
> >> >    ([: (/("..inv)) ]:) -: (([: (/an) ]:))
> >> > 1
> >> >
> >> > A single  /  can be boxed directly as well,
> >> >
> >> >    /<
> >> > ┌─┐
> >> > │/│
> >> > └─┘
> >> >
> >> >    (/<) -: ([: (/("..inv)) ]:)
> >> > 1
> >> >
> >> > Another issue is that evoke (`:6), and consequently  ".. ,  does not
> act
> >> on
> >> > boxed adverbs,
> >> >
> >> >    ".. (/<)
> >> > |domain error
> >> > |       "..(/<)
> >> >    (/<) (`:6)
> >> > |domain error
> >> > |       (/<)(`:6)
> >> >
> >> > So, one has to write, for instance,
> >> >
> >> >    +(".. (/an)) 1 2 3
> >> > 6
> >> >
> >> > Jx version 1.1, not yet released, allows adverbs and conjunctions to
> act
> >> on
> >> > boxed verbs, adverbs and conjunctions (see [0] for the motivation),
> >> >
> >> >    JVERSION
> >> > Installer: j602a_win.exe
> >> > Engine: j806/j64/windows/beta/BEST/Jx/2017-08-15T16:31:59
> >> > Library: 6.02.023
> >> >
> >> >    +(".. (/<)) 1 2 3
> >> > 6
> >> >
> >> >
> >> >>  |syntax error
> >> >>  | +("..[:/]:)1 2 3
> >> >>
> >> >>  I had problems with Knot until I recognized that it is `. and not
> `: as
> >> >>  the description says.
> >> >>
> >> >>  "|`:|Knot (Gerund) – is similar to the J primitive|`|(tie) except
> that
> >> a
> >> >>  non-boxed noun argument is first replaced by its atomic
> >> representation."
> >> >>
> >> >>  +`.1
> >> >>
> >> >>  ┌─┬─────┐
> >> >>  │+│┌─┬─┐│
> >> >>  │ ││0│1││
> >> >>  │ │└─┴─┘│
> >> >>  └─┴─────┘
> >> >>
> >> >
> >> >
> >> > Right, the documentation will be fixed; thank you for the feedback.
> >> >
> >> >
> >> >>  I had problems with Cloak. I managed to use it but didn't understand
> >> >>  what it is for.
> >> >>
> >> >>  AtDot=: 2 : (':';'[ v^:_1 u at v')
> >> >>
> >> >>  1 0 1 -AtDot# 4 5 6
> >> >>
> >> >>  _4 0 _6
> >> >>
> >> >>  1 0 1 -(2 ?: 5!:1<'AtDot')# 4 5 6
> >> >>
> >> >>  _4 0 _6
> >> >>
> >> >>
> >> >>  The example gives syntax error. Missing parenthesis.
> >> >>
> >> >>  (;:'ver conj adv')=. _3 _2 _1<@?:"0) 0
> >> >>
> >> >>  |syntax error
> >> >>
> >> >>  | (;:'ver conj adv')=: _3 _2 _1<@?:"0)0
> >> >>
> >> >>  (;:'ver conj adv')=. _3 _2 _1<@?:("0) 0
> >> >
> >> > Right, I used this properly in the Appendix of my post [1] but
> somehow a
> >> > parenthesis got missing in the documentation; it will be fixed.
> >> >
> >> >>
> >> >>  ver
> >> >>
> >> >>  (_3?:0)
> >> >>
> >> >>  conj
> >> >>
> >> >>  (_2?:0)
> >> >>
> >> >>  adv
> >> >>
> >> >>  (_1?:0)
> >> >>
> >> >>
> >> >>  I guess you can use Jx to define adverbs and conjunctions in tacit
> >> code,
> >> >>  but I didn't understand how.
> >> >>
> >> >
> >> > The verb  ver  verbs adverbs (as monadic verbs) and conjunctions (as
> >> dyadic
> >> > verbs), conj  and  adv  are the reverse operations (i.e., adv
> adverbs a
> >> > monadic verb and  conj conjuncts a dyadic verb) so to speak.  This
> might
> >> > help to clarify the concepts a little,
> >> >
> >> >    u      (/ver)adv       NB. (/ver) is an (a v) Jx train
> >> > u/
> >> >
> >> >    u (ver(<'/'))adv       NB. ver acting on an atomic representation
> >> > u/
> >> >
> >> >    u ((ver adv)@:)conj v  NB. ((ver adv)@:) is an (a c) Jx train
> >> > u@:v
> >> >
> >> >    u  (ver(<'@:'))conj v  NB. ver acting on an atomic representation
> >> > u@:v
> >> >
> >> > You got it right,  adv  and  conj  allows one to write any arbitrary
> >> tacit
> >> > adverbs and conjunctions by reducing those to writing tacit verbs
> >> (i.e., u
> >> > adv  and  v conj where u is monadic verb and v is dyadic verb).
> >> >
> >> > What makes it easy is the fact that primitive nonnumerical verbs are
> >> > higher-order functions (i.e., able to act on nouns verbs adverbs and
> >> > conjunctions, or produce nouns verbs adverbs and conjunctions, or both
> >> but
> >> > the official interpreters makes it almost impossible to use them as
> such;
> >> > Jx makes it easy).
> >> >
> >> > For example,
> >> >
> >> >    toj ": adv
> >> > toj
> >> >    $ (toj ": adv)
> >> > 3
> >> >    fix=. f.ver
> >> >
> >> >    toJ ":@:fix adv
> >> > ((10{a.) I.@(e.&(13{a.))@]} ])@:(#~ -.@((13 10{a.)&E.@,))
> >> >    $(toJ ":@:fix adv)
> >> > 57
> >> >    u (,&:<)conj v  NB. Boxing u and v
> >> > ┌─┬─┐
> >> > │u│v│
> >> > └─┴─┘
> >> >    $(u (,&:<)conj v)
> >> > 2
> >> >
> >> >    dex=. ]conj
> >> >
> >> >    type'dex'
> >> > ┌───────────┐
> >> > │conjunction│
> >> > └───────────┘
> >> >
> >> >
> >> >    + dex -
> >> > -
> >> >
> >> >    lev=. [conj
> >> >
> >> >    + lev -
> >> > +
> >> >
> >> > You might like to check also the Appendix I mentioned for more
> examples.
> >> >
> >> >>
> >> >>  Cheers,
> >> >>
> >> >>  Erling
> >> >
> >> > I really appreciate your interest and patience.
> >> >
> >> >
> >> > References
> >> >
> >> > [0] [Jprogramming] Boxed verbs as alternate gerunds  Jose Mario
> Quintana
> >> >     http://www.jsoftware.com/pipermail/programming/2017-
> >> August/048145.html
> >> >
> >> > [1] [Jprogramming] Jx version 1.0 release  Jose Mario Quintana
> >> >     http://www.jsoftware.com/pipermail/programming/2017-
> >> August/048143.html
> >> >
> >> >
> >> >
> >> > On Fri, Aug 18, 2017 at 9:08 AM, Erling Hellenäs <
> >> erl...@erlinghellenas.se>
> >> > wrote:
> >> >
> >> >> Hi all !
> >> >>
> >> >> I tried out the functionality of Jx and got some problems.
> >> >> I expected these two expressions to be equivalent, but got syntax
> error
> >> on
> >> >> the second.
> >> >>
> >> >> +(".. '/') 1 2 3
> >> >> 6
> >> >> +(".. [: / ]:) 1 2 3
> >> >> |syntax error
> >> >> | +("..[:/]:)1 2 3
> >> >>
> >> >> I had problems with Knot until I recognized that it is `. and not `:
> as
> >> >> the description says.
> >> >>
> >> >> "|`:|Knot (Gerund) – is similar to the J primitive|`|(tie) except
> that a
> >> >> non-boxed noun argument is first replaced by its atomic
> representation."
> >> >>
> >> >> +`.1
> >> >>
> >> >> ┌─┬─────┐
> >> >> │+│┌─┬─┐│
> >> >> │ ││0│1││
> >> >> │ │└─┴─┘│
> >> >> └─┴─────┘
> >> >>
> >> >> I had problems with Cloak. I managed to use it but didn't understand
> >> what
> >> >> it is for.
> >> >>
> >> >> AtDot=: 2 : (':';'[ v^:_1 u@v')
> >> >>
> >> >> 1 0 1 -AtDot# 4 5 6
> >> >>
> >> >> _4 0 _6
> >> >>
> >> >> 1 0 1 -(2 ?: 5!:1<'AtDot')# 4 5 6
> >> >>
> >> >> _4 0 _6
> >> >>
> >> >>
> >> >> The example gives syntax error. Missing parenthesis.
> >> >>
> >> >> (;:'ver conj adv')=. _3 _2 _1<@?:"0) 0
> >> >>
> >> >> |syntax error
> >> >>
> >> >> | (;:'ver conj adv')=: _3 _2 _1<@?:"0)0
> >> >>
> >> >> (;:'ver conj adv')=. _3 _2 _1<@?:("0) 0
> >> >>
> >> >> ver
> >> >>
> >> >> (_3?:0)
> >> >>
> >> >> conj
> >> >>
> >> >> (_2?:0)
> >> >>
> >> >> adv
> >> >>
> >> >> (_1?:0)
> >> >>
> >> >>
> >> >> I guess you can use Jx to define adverbs and conjunctions in tacit
> code,
> >> >> but I didn't understand how.
> >> >>
> >> >>
> >> >> Cheers,
> >> >>
> >> >> Erling
> >> >>
> >> >>
> >> >>
> >> >> On 2017-08-01 22:55, Jose Mario Quintana wrote:
> >> >>
> >> >>> A brief description of the Jx v1.0 extensions, together with links
> to a
> >> >>> Windows 64 bit dll, a Unix 64 bit so binaries and the patch
> >> corresponding
> >> >>> to the J806 source can be found at,
> >> >>> http://www.2bestsystems.com/foundation/j/jx1
> >> >>>
> >> >>> Summary
> >> >>>
> >> >>> - Spelling
> >> >>>    - Names with unicode characters
> >> >>>    - Primitives
> >> >>>        Added     =.. =:: $:: [. ]. ]: ".. ":: `. ?: i.. O.
> >> >>>        Extended  ~ $.
> >> >>>    - Foreign
> >> >>>        Added     104!:5 Unnamed Execution
> >> >>>
> >> >>> - Trains
> >> >>>      a v    Added       (different from Jx v0)
> >> >>>      a a    Extended    (different from Jx v0)
> >> >>>      c a    Resurrected
> >> >>>      a c a  Resurrected
> >> >>>
> >> >>> The Jx v0 page,
> >> >>> http://www.2bestsystems.com/foundation/j/jx0
> >> >>> will be removed in the near future
> >> >>>
> >> >>> Time permitting, there will be soon a script with assertions for
> those
> >> who
> >> >>> want to verify binaries targeted for other platforms and I will try
> to
> >> >>> illustrate the facilities in action with some scripts.
> >> >>>
> >> >>>
> >> >>>
> >> >>>
> >> >>> On Sat, Mar 8, 2014 at 11:40 PM, Jose Mario Quintana <
> >> >>> jose.mario.quint...@gmail.com> wrote:
> >> >>>
> >> >>> The patches, a Windows 32-bit DLL, a cheatsheet, 32 and 64 bit Unix
> >> >>>> libraries are found at:
> >> >>>>
> >> >>>>
> >> >>>> http://www.2bestsystems.com/foundation/j/
> >> >>>>
> >> >>>>
> >> >>>> For more details and demonstration code, see the article in the
> >> Journal
> >> >>>> of
> >> >>>> J: http://journalofj.com/index.php/vol-2-no-2-october-2013 (only
> the
> >> >>>> definition of the new conjunction knot (`.) has been slightly
> modified
> >> >>>> for
> >> >>>> the release).
> >> >>>>
> >> >>>>
> >> >>>>
> >> >>>> ------------------------------------------------------------
> >> ----------
> >> >>> For information about J forums see http://www.jsoftware.com/forum
> s.htm
> >> >>>
> >> >>
> >> >> ------------------------------------------------------------
> ----------
> >> >> For information about J forums see http://www.jsoftware.com/forum
> s.htm
> >> >>
> >> > ------------------------------------------------------------
> ----------
> >> > For information about J forums see http://www.jsoftware.com/forum
> s.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

Reply via email to