Re: [Jprogramming] Trains: past, present and ...

2017-10-26 Thread Jose Mario Quintana
t0=. ((;:'tC0') , ])hg (i.2 2) +/ template t0 i.3 0 1 2 3 1 2 3 4 3 4 5 6 On Wed, Oct 25, 2017 at 8:47 PM, Raul Miller wrote: > I agree. (Well, ... except that modifying words like "easily" are not > actually quantifiable and tend to refer to concepts which are highly > variable.) > >

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Raul Miller
I agree. (Well, ... except that modifying words like "easily" are not actually quantifiable and tend to refer to concepts which are highly variable.) Thanks, -- Raul On Wed, Oct 25, 2017 at 8:06 PM, Jose Mario Quintana wrote: > A tacit version of the adverb t0 can easily be produced via hg.

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Jose Mario Quintana
A tacit version of the adverb t0 can easily be produced via hg. However, it would be a faithful alternative, meaning it will produce tC0 with a bonded argument, just as t0 does. If the goal is to do the whole thing tacitly that would be another matter. It could get messy because tC0 is a conjunc

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Raul Miller
Ok, but this gets into the question of whether constructs mixing tacit and explicit mechanisms are tacit or explicit. Thanks, -- Raul On Wed, Oct 25, 2017 at 5:47 PM, Jose Mario Quintana wrote: > The key word is "allowed." For example, > > >* ┌─┐ > │*│ > └─┘ >X=. * >2 (>X) 3 >

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Raul Miller
Sure, here's one example: s0=: 1 :'m"_^:((<''0:'')=])"0 L:1' s1=: 1 :'m"_^:((<''1:'')=])"0 L:1' template=: 0:&.>/\.&.(,&1:)&.|.&.(<"_1) a0 t0=:1 :0 tC0 m ) tC0=:2 :0 : ((<(0;1;0){::( wrote: > " > Consider, for example, using the 0: and 1: verbs as placeholders in a > gerund and substituting

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Jose Mario Quintana
The key word is "allowed." For example, * X) 3 6 Of course, they can break the rules, t3=. 1 : 'x wrote: > On Wed, Oct 25, 2017 at 4:51 PM, Jose Mario Quintana > wrote: > > Not necessarily, explicit adverbs can do whatever a (v hg) adverb can; > > however, (v adv) can do things that e

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Jose Mario Quintana
" Consider, for example, using the 0: and 1: verbs as placeholders in a gerund and substituting in a verb for the 0: argument and a boxed copy of a noun for the 1: argument in this gerund template: 0:&.>/\.&.(,&1:)&.|.&.(<"_1) a0 hg gives us a way of defining these transformations as verbs, but we

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Raul Miller
On Wed, Oct 25, 2017 at 4:51 PM, Jose Mario Quintana wrote: > Not necessarily, explicit adverbs can do whatever a (v hg) adverb can; > however, (v adv) can do things that explicit adverbs are not allowed to do. Are you sure? If by "do" you mean something about the details of how the adverb is st

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Jose Mario Quintana
"Atomic representation is structurally similar to J's internal representation, though, and as it is an executable form (albeit one that needs a bit more interpretation than the internal representation), it also qualifies as an intermediate form. Converting from atomic representation to internal for

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Jose Mario Quintana
Hi EH> EH> It seems there are some more possibilities with your solutions. You are Not necessarily, explicit adverbs can do whatever a (v hg) adverb can; however, (v adv) can do things that explicit adverbs are not allowed to do. EH> doing some kind of program generation? Usually, I am. EH> It

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Erling Hellenäs
   ('+';'/';'%';'#') `:6 +/ % #    ('+';'/';'%';'#') `:6[ 1 2 3 2    ('+';'/';'%';'#') ┌─┬─┬─┬─┐ │+│/│%│#│ └─┴─┴─┴─┘ /Erling On 2017-10-25 20:25, Raul Miller wrote: It is, in fact, picky but yes: your example here does not illustrate that pickiness. Also, (`:6) supports parsing sequences of rep

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Raul Miller
It is, in fact, picky but yes: your example here does not illustrate that pickiness. Also, (`:6) supports parsing sequences of representations and also supports representations of the result of parsing those sequences. This is similar to how both 1+1 and 2 can represent the same value in mathemat

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Erling Hellenäs
Hi all! It does not seem picky about the representation.    atomic =:[: 5!:1 <    boxed =: [: 5!:2 <    f=: +/ % #    (atomic'f') `:6 +/ % #    (boxed'f') `:6 +/ % #    atomic'f' ┌─┐ │┌─┬─┐│ ││3│┌───┬─┬─┐││ ││ ││┌─┬───┐│%│#│││ ││ │││/│┌─┐││ │ │││ ││ │││ ││+│││ │ │

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Raul Miller
On Wed, Oct 25, 2017 at 12:23 PM, Jose Mario Quintana wrote: > RM> That said, describing the purpose of hg (and why one would want to use > RM> hg instead of av) is eluding me at the moment. Maybe when I wake up > RM> some more I would be better prepared to address this. > > The hg specification s

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Jose Mario Quintana
RM> That said, describing the purpose of hg (and why one would want to use RM> hg instead of av) is eluding me at the moment. Maybe when I wake up RM> some more I would be better prepared to address this. The hg specification states that the argument for the workhorse verb is the atomic representa

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Raul Miller
Yes, sort of, you are building atomic representations there. Note also that the box drawing characters are used to represent structure - you did not supply them as literals. But, take a look at t.c in the J engine source code to see an initial hint about what I am really talking about. Note also t

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Erling Hellenäs
Hi all ! This post describes what I call the ascii representation. http://www.jsoftware.com/pipermail/programming/2017-October/049324.html An example:    ((<('+';'/');'%';'#'))(`:6) 1 2 3 2    ((<('+';'/');'%';'#')) ┌───┐ │┌─┬─┬─┐│ ││┌─┬─┐│%│#││ │││+│/││ │ ││ ││└─┴─┘│ │ ││ │└─

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Raul Miller
I think you've introduced some false dichotomies here. First off, it's true that the J implementation is an interpreter, and it does not compile J to native code. Instead, it compiles J to an intermediate form which includes some ascii and some data structures. The displayed form represents those

Re: [Jprogramming] Trains: past, present and ...

2017-10-25 Thread Erling Hellenäs
Hi all! It seems there are some more possibilities with your solutions. You are doing some kind of program generation? It has similarities with having functions as primary citizens, but it is not the same because it does not happen at runtime? What is passed is ascii representations of function

Re: [Jprogramming] Trains: past, present and ...

2017-10-24 Thread Jose Mario Quintana
Typical explicit adverbs produce the result of a sentence where the argument replaces its corresponding parameter (usually u). In that sense, an adverb is similar to a macro but there are other possibilities; for instance, the adverb t1, t1=. ([ , (<'@:') , ])/o |. o (('';1)&{::)hg u0`u1`u

Re: [Jprogramming] Trains: past, present and ...

2017-10-24 Thread Erling Hellenäs
See comments below: Den 2017-10-24 kl. 07:14, skrev Jose Mario Quintana: EH> Hi all! Hi EH> All user-written adverbs and conjunctions are something similar to the EH> macros in assembler and C++? I am not familiar with modern macros but if macros have an arbitrary but fixed number of paramet

Re: [Jprogramming] Trains: past, present and ...

2017-10-24 Thread Raul Miller
Ok.. I have manage to convince myself that my earlier "cheating hypothesis" was utterly false. (And, Jose has stated something similar.) One trick is to realize that most of the adverbs used in building hg are not used directly, but instead are used for their atomic representations. They are sub-t

Re: [Jprogramming] Trains: past, present and ...

2017-10-24 Thread Rob Hodgkinson
Further test to this group, please ignore this email …/Rob H > On 24 Oct 2017, at 9:45 am, Roger Hui wrote: > > ​> (with their wives, so it was Ken & Jean and Eugene & Jeanne). > > From Eugene McDonnell Quotations and Anecdotes > > >

Re: [Jprogramming] Trains: past, present and ...

2017-10-23 Thread Jose Mario Quintana
EH> Hi all! Hi EH> All user-written adverbs and conjunctions are something similar to the EH> macros in assembler and C++? I am not familiar with modern macros but if macros have an arbitrary but fixed number of parameters then the answer is: not necessarily. EH> There are external interfaces.

Re: [Jprogramming] Trains: past, present and ...

2017-10-23 Thread Roger Hui
​> (with their wives, so it was Ken & Jean and Eugene & Jeanne). From Eugene McDonnell Quotations and Anecdotes • When Eugene and Ken Iverson went on vacation together with their wives, it’s “Genes” all around: Gene McDonnell, Jeanne McDo

Re: [Jprogramming] Trains: past, present and ...

2017-10-22 Thread Raul Miller
Thinking about this further - I am not sure that a3 (and, thus a6) work quite like I had previously suggested. Or, maybe they do, but... Ok, let's start over: Hypothetically speaking, av is almost our adverb that transforms a gerund manipulating verb into an adverb which performs that transformat

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Rob Hodgkinson
A (firsthand) background note here, that Ken & Eugene were flying together to APL88 in Sydney (with their wives, so it was Ken & Jean and Eugene & Jeanne). They switched their seats and sat together and chatted and ended up having little sleep for the 16 hours trans pacific flight. Their discuss

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Erling Hellenäs
   1 (<'+')(`:6) 3 4    ((<('+';'/')))(`:6) 1 2 3 6    ((<('+';'/');'%';'#'))(`:6) 1 2 3 2    (< (<'-');'@:';<(<'+:')) (`:6)1 2 3 _2 _4 _6 /Erling On 2017-10-21 23:25, Raul Miller wrote: Ok... i do not know how to approach this without reviewing basics, so... bear with me. The question is how

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Raul Miller
Ok... i do not know how to approach this without reviewing basics, so... bear with me. The question is how does a3 work. And, a3 is: a3=: (@: (aw f.)) av aw extracts the left tine of the gerund of a train or analogous sequence: 9!:3]1 5 NB. show both atomic and linear representations

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread 'Pascal Jasmin' via Programming
r 21, 2017 8:03 AM Subject: Re: [Jprogramming] Trains: past, present and ... Pepe, if you would add that bug, whatever it is, to http://code.jsoftware.com/wiki/System/Interpreter/Bugs/Errors I'd be obliged. Henry Rich On 10/21/2017 7:55 AM, Jose Mario Quintana wrote: > Hi Erlin

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Erling Hellenäs
Hi all ! I do my best to understand this. Like Raul I name things. I created some explanations. However, I didn't manage to understand how a3 and a6 works. Maybe someone can help? My project: 9!:14'' o=: @: ar=: 5!:1 @:< ar 'o' emptyGerund=: `'' emptyGerund DoOnLeftArgAdverb=: (@:[) ((

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Erling Hellenäs
My a2 name :)     InfinityAdverb=: (`(<(":0);_)) (`:6) %InfinityAdverb 0 /Erling On 2017-10-21 20:45, Raul Miller wrote: Here's one issue: 1 2 3 *: av 1 4 9 load'debug/dissect' dissect '1 2 3 *: av' Syntax error: invalid sequence Noun Verb Error snippet: 1 2 3 *: av But that's

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Erling Hellenäs
Hi all! I don't understand the meaning of "tacit adverb". Before parsing of the actual tacit trains, all adverbs and conjunctions are tied to their arguments? What remains is a verb train to be parsed? A verb train which contains some built-in adverbs and conjunctions? These are tied to their

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Jose Mario Quintana
(a2=. (`(<(":0);_)) (`:6)) > >> av=. ((ar'a0')`) (`(ar'a1')) (`(ar'a2') ) (`:6) > >> ... > >> > >> What you did is equivalent, thanks. > >> > >> The first part runs fine using the latest "stable" off

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Raul Miller
hought experiment" was >> run using Jx). >> >> >> >> >> On Sat, Oct 21, 2017 at 7:30 AM, Jose Mario Quintana < >> jose.mario.quint...@gmail.com> wrote: >> >>> Look carefully at my first post [0] as I suggested (using a browser), the >&

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Jose Mario Quintana
Indeed, one can produce many useful tacit adverbs by other means. However, is there a general method to produce tacit adverbs using current official interpreters? If worse comes to worse, the adverb hg provides the means do to so for a vast class of adverbs (yet, there are still, at least, a coup

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Raul Miller
s response > ((`'')(((@:[)(&`))(`:6)))((`_)(`:6)) and the next line, > > av=. ((ar'a0')`) (`(ar'a1')) (`(ar'a2') ) (`:6) > > is where ar'a2' is used. > > > [0] [Jprogramming] Trains: past, present and ... Jose Mario Qu

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Raul Miller
That worked for me, 1: [^:('0:'-:])L:0&(>:@0:a0) hg >:@1: Thanks, -- Raul On Sat, Oct 21, 2017 at 6:32 AM, Erling Hellenäs wrote: > Hi all! > > I commented a printout that did not seem to work and modified the script > slightly while hopefully keeping its function. > > 9!:14'' > o=. @: >

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Erling Hellenäs
Hi all! Since the full answers to these seemingly stupid questions are not clear to me, I will pose them: 1. Why shouldn't we just write the adverbs and conjunctions instead of producing them this way? 2. How does this  way to do it compare to creating programs from strings with Do(".) ?  

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Jose Mario Quintana
gt; On Sat, Oct 21, 2017 at 7:30 AM, Jose Mario Quintana < >> jose.mario.quint...@gmail.com> wrote: >> >> Look carefully at my first post [0] as I suggested (using a browser), the >>> line, >>> >>> (a0=. `'') (a1=. (@:[) ((<'&&#

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Henry Rich
first post [0] as I suggested (using a browser), the line, (a0=. `'') (a1=. (@:[) ((<'&')`) (`:6)) (a2=. (`(<(":0);_)) (`:6)) defines a0, a1 and a2, the next line is J's response ((`'')(((@:[)(&`))(`:6)))((`_)(`:6)) and the next line, av=

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Jose Mario Quintana
7 at 7:30 AM, Jose Mario Quintana < > jose.mario.quint...@gmail.com> wrote: > >> Look carefully at my first post [0] as I suggested (using a browser), the >> line, >> >>(a0=. `'') (a1=. (@:[) ((<'&')`) (`:6)) (a2=. (`(<(":0);_)) (`:6)

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Jose Mario Quintana
a1 and a2, the next line is J's response > ((`'')(((@:[)(&`))(`:6)))((`_)(`:6)) and the next line, > >av=. ((ar'a0')`) (`(ar'a1')) (`(ar'a2') ) (`:6) > > is where ar'a2' is used. > > > [0] [Jprogramming] Trains: past,

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Erling Hellenäs
After executing the modified script the examples in the post worked and I could read it. /Erling On 2017-10-21 12:32, Erling Hellenäs wrote: Hi all! I commented a printout that did not seem to work and modified the script slightly while hopefully keeping its function. 9!:14'' o=. @: ar=. 5!

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Jose Mario Quintana
:6)) and the next line, av=. ((ar'a0')`) (`(ar'a1')) (`(ar'a2') ) (`:6) is where ar'a2' is used. [0] [Jprogramming] Trains: past, present and ... Jose Mario Quintana http://www.jsoftware.com/pipermail/programming/2017-October/049263.html On Fri, Oct 2

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Erling Hellenäs
Hi all! I commented a printout that did not seem to work and modified the script slightly while hopefully keeping its function. 9!:14'' o=. @: ar=. 5!:1 @:< a0=. `'' a1=. (@:[) ((<'&')`) (`:6) a2=. (`(<(":0);_)) (`:6) NB.(a0=. `'') (a1=. (@:[) ((<'&')`) (`:6)) (a2=. (`(<(":0);_)) (`:6)) ((`''

Re: [Jprogramming] Trains: past, present and ...

2017-10-21 Thread Erling Hellenäs
Hi Jose ! I have to install an old release? There seem to be a one item gerund notation it does not accept if the item is a conjunction.     9!:14'' j806/j64/windows/beta/BEST/Jx-patches/2017-10-06T14:44:47 This one is from your post. Where it crashes:    &` |syntax error |   &` My addi

Re: [Jprogramming] Trains: past, present and ...

2017-10-20 Thread Raul Miller
Please re-read my message? Yes, the line quoted in my error message got wrapped. However, I have no reason [yet] to believe that it was incomplete. But... your quoting of that error message wrapped it further for me. I do not know if that wrapping happened before you got my message or after. But

Re: [Jprogramming] Trains: past, present and ...

2017-10-20 Thread Jose Mario Quintana
No, a2 is defined previously; recall "beware of line-wrapping." In addition, what I showed was a session output, not a clean script. If your email formatting is giving you a hard time, try to look at the version of my post in the forum archive. I hope it helps On Thu, Oct 19, 2017 at 8:31 PM,

Re: [Jprogramming] Trains: past, present and ...

2017-10-19 Thread Raul Miller
When I try to execute your script, I get: |value error: a2 | (a0=.`'')(a1=.(@:[)((<'&')`)(`:6))(a2=.(`(<(":0);_))(`:6))((`'')(((@:[)(&`))(`:6)))((`_)(`:6))av=.((ar'a0')`)(`(ar'a1'))(`( ar'a2'))(`:6) |[-3] /users/rauldmiller/j64-805-user/temp/2.ijs 9!:14'' j805/j64/darwin/beta-9/commercial

[Jprogramming] Trains: past, present and ...

2017-10-19 Thread Jose Mario Quintana
There were many adverb and conjunction producing trains during a period which Henry has referred as the Golden Age. Some were available as early as 1993 [0] and several more afterward [1]. A few of those adverb producing trains (all of them bidents) survived [2] (using nv to denote noun or verb),