(Hopefully I can be permitted to respond here ...) The logic behind those rules is, to some degree, laid out in http://www.jsoftware.com/help/dictionary/dicte.htm (except adverb/conjunction trains are something of a lost art, but they were meant to roughly parallel verb trains in their structure, and verb trains are described on the following page: http://www.jsoftware.com/help/dictionary/dictf.htm ).
Basically, a concise set of rules, which Ken Iverson came up with, which had the grammatical properties he wanted (a simplification or regularization of the APL parsing rules and of some of the grammatical forms which have been used in mathematics literature). Thanks, -- Raul On Wed, Oct 11, 2017 at 1:10 PM, Erling Hellenäs <[email protected]> wrote: > 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
