A mathematical foundation of reflexion?

[Laurent Martelli]

>>>>> "John" == John Carter <cyent@mweb.co.za> writes:

  John> I think Joy lays bare that special something about Forth and
  John> Postscript.  The homomorphism between syntatic concatenation
  John> and functional composition. If that homomorphism exists, then
  John> reasoning about the program becomes very much easier, and if
  John> reasoning becomes easier it is much easier to write bug free
  John> programs.

I'm not so sure. I think that the absence of named parameters can make
it difficult to understand programs. 

-- 
Laurent Martelli
martelli@iie.cnam.fr