Hi all !
No, sorry, the verb is EXECUTED with the adverb as it's argument
according to this rule:
av ↔ v(a)
/<
┌─┐
│/│
└─┘
The result is boxed:
3!:0 (/<)
32
/+
|domain error
| /+
The add verb does not know how to handle the adverb argument, so we get
a domain error, it seems.
Cheers,
Erling Hellenäs
Den 2017-10-12 kl. 09:51, skrev Erling Hellenäs:
Hi all !
I have a hard time finding the new rules among these old rules.
While in the Jx description x and y denotes verbs, in Ken Iversons
description they denote nouns?
Take the bident a0 v1. According to Ken Iverson it should be parsed as
(x a0) v1, while in Jx, using the same notation, it is parsed as (v1
a0) y ?
Does Jx represent a new way of thinking about how these trains should
be parsed, which Ken Iverson did not have?
Cheers,
Erling Hellenäs
Den 2017-10-12 kl. 04:09, skrev bill lam:
As mentioned earlier, ancient J had a more complete set of
rules for tridents and bidents. This is what availbale in
J circa 1994 (23 years ago)
https://i.imgur.com/OtBZZq1.jpg
In the good old days, adverbs and conjunctions can be
written without explicit definitions, albeit only very
few can manage to do that.
Ср, 11 окт 2017, Erling Hellenäs написал(а):
Hi all!
I finally managed to understand Cloak. I then with interest studied
these
new syntax rules:
av ↔ v(a)
x(a a) ↔ (x a) a
ac ↔ (c)a
x(c a) y ↔ x c y a
x(a c a) y ↔ (x a) c (y a)
It all seemed logical and nice. I just wonder about the thoughts
behind.
What is the logic behind these rules?
I also wonder if there are any negative effects of having these rules.
Cheers,
Erling Hellenäs
On 2017-09-30 23:27, Jose Mario Quintana wrote:
Jx 1.1 Release
A Jx v1.1 Extensions Guide, a J/Jx Cheatsheet, a Jx Assertions script
together with links to a Windows 64 bit dll, a Unix 64 bit so binaries
(without avx support) and the patch corresponding to the J806 source
(beta-6) can be found at the link [0].
Summary
- Primitives
Added =.. =:: $:: [. ]. ]: ".. `. &:.(*) ?:(*) i.. O.
Extended ~ $.
Modified " (*)
- Foreign
Added 104!:5 Unnamed Execution 102!:0/1 In-place
Amend/Append (*)
- Trains
a v Added
a a Extended
c a Resurrected and extended (*)
a c a Resurrected and extended (*)
- Spelling
Names with Unicode characters
(*) New Jx 1.1 feature
This release introduces a modified primitive (") and, in theory,
for the
first time an incompatibility vs the official J counterpart (J806
beta-6) ;
however, in practice, it is highly unlikely to break any existent
code and
doubters have an opportunity to test their code.
This is a simple 1-decade-old example [1],
]`|."1 i.5 6
0 1 2 3 4 5
11 10 9 8 7 6
12 13 14 15 16 17
23 22 21 20 19 18
24 25 26 27 28 29
See also the threads [2, 3] for recent discussions.
The rank of the verb ?: has been changed to 0 0 0 to make it easier
to use.
Three venerable facilities are released:
- The conjunction (&:.), for the motivation, see the post [4] (see
also the
post [5] both, its reference and the embedded discussion for
similar more
recent ideas).
- 102!:0/1 In-place Amend/Append, be very careful (see [6]); if you
do not
know what to expect, play with their corresponding models instead.
PS. There are a couple of other goodies which will be documented
later.
References
[0] Jx 1.1 Release
http://www.2bestsystems.com/foundation/j/jx1.1
[1] [Jprogramming] zig-zag order Oleg Kobchenko
http://www.jsoftware.com/pipermail/programming/2006-November/004188.htm
[2] [Jprogramming] How m"n shoulda been defined Henry Rich
http://www.jsoftware.com/pipermail/programming/2015-August/042512.html
[3] [Jprogramming] Jx version 1.0 release Henry Rich
http://www.jsoftware.com/pipermail/programming/2017-August/048124.html
[4] [Jforum] Wasted intermediate values Jose Mario Quintana
http://www.jsoftware.com/pipermail/general/2003-March/014488.html
[5] [Jprogramming] Fold/reduce with initial value? R.E. Boss
http://www.jsoftware.com/pipermail/programming/2015-February/041015.html
[6] [Jprogramming] Tacit J and indexed replacement Jose Mario
Quintana
http://www.jsoftware.com/pipermail/programming/2014-July/038515.html
----------------------------------------------------------------------
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
