On 3/25/13, John Carlson <[email protected]> wrote: > So is anyone looking at binary parser generators? It would seem like > something like this would have been done ages ago. > On Mar 25, 2013 12:07 PM, "Andre van Delft" <[email protected]> > wrote: > >> >> Op 25 mrt. 2013, om 17:35 heeft John Tromp <[email protected]> het >> volgende geschreven: >> >> >> PGA is very different from BLC of course, but both are a simple linear >> >> notations. PGA starts with jump instructions, and it has step by step >> >> extensions for variables, control structures, semaphores etc. It has >> been >> >> used as a projection of Ruby's OO constructs. >> >> So I hope PGA could give you some ideas. >> > >> > PGA looks like a notation for control flow as a basis for an imperative >> > language. BLC is a self-contained pure functional language aimed at >> > minimal programs. This seems a case of comparing apples and oranges:-) >> >> Apples and oranges look far more similar than PGA and BLC. I would say it >> is more a case of apples and apple trees. Very different in appearance, >> but >> deep inside they share DNA, and the one form gives birth to the other >> form. >> _______________________________________________ >> fonc mailing list >> [email protected] >> http://vpri.org/mailman/listinfo/fonc >> >
Oh how delightful. Years ago I read Spencer-Brown's "Laws of Form", now one Burnett-Stuart has created a website he calls "The Markable Mark" ( http://www.markability.net/ ) which presents both a story-based introduction and a dynamic graphical solver (a couple of them in fact, flash apps). Exploring this in the context of logical Unification seems to indicate a quick and easy path for teaching people logic and programming from the ground up leading directly into AI, naturally and in a short time frame. All of the above lead me to investigate e.g. Lambda Calculus, the Combinators, etc.. over the last month or so, and I realized that (I was really ignorant, and) a lot of this has been thought about before. But it seems to me that there should be a very simple minimal system that could be unfolded into, uh, the whole enchilada, so to speak. It looks like the BLC could fit the bill? Warm regards, ~Simon -- http://twitter.com/SimonForman My blog: http://firequery.blogspot.com/ Also my blog: http://calroc.blogspot.com/ "The history of mankind for the last four centuries is rather like that of an imprisoned sleeper, stirring clumsily and uneasily while the prison that restrains and shelters him catches fire, not waking but incorporating the crackling and warmth of the fire with ancient and incongruous dreams, than like that of a man consciously awake to danger and opportunity." --H. P. Wells, "A Short History of the World" _______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
