The order of execution is: (f^:proposition)^:a: 3
In other words, ^:a: is applied first, then ^:proposition . This follows from the parsing rules, but you might have an easier time by thinking that conjunctions take as their left operand the string of words ending with the first noun/verb they encounter that does not have a conjunction at its left. So, the left operand of @ in a^:[EMAIL PROTECTED] is a^:b ; in other words, the expression is evaluated as (a^:b)@c . Henry Rich > -----Original Message----- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of Tracy Harms > Sent: Saturday, March 24, 2007 12:34 PM > To: [email protected] > Subject: [Jprogramming] semantics of compound conjunctions > > I have not yet fully understood the multiple > conjunction that occurs in the recently discussed > construct f^:proposition^:_ y (conveniently > expounded at > http://www.jsoftware.com/jwiki/Essays/Do_While ) > > I understand how it is interpreted in practice. What > I don't understand are the rules involved in the > combination of multiple conjunctions. Primarily, I do > not understand why the following two expressions are > not equivalent: > > f^:proposition^:a: 3 > f^:a:^:proposition 3 > > I'm not bothered by the fact that the power > conjunction is not commutative in this manner, mind > you. What bothers me is that the only way I can > account for the asymmetry, at present, involves > modeling states. I'd like to see a more abstract, > functional clarification. Also good to see would be > notational elaboration along the lines of > u^:( v y) y > illustrating multiple applications of ^: to the same > verb. > > > -- > Tracy B. Harms > > It is the central thesis of this book that the descriptive > and analytic power of an adequate programming language amply > repays the considerable effort required for its mastery. > Kenneth E. Iverson > A Programming Language, 1962 > > > > ______________________________________________________________ > ______________________ > Be a PS3 game guru. > Get your game face on with the latest PS3 news and previews > at Yahoo! Games. > http://videogames.yahoo.com/platform?platform=120121 > ---------------------------------------------------------------------- > For information about J forums see > http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
