A mathematical foundation of reflexion?

Laurent Martelli martelli@iie.cnam.fr
12 Jan 2000 05:08:01 +0100

>>>>> "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