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
