A mathematical foundation of reflexion?
12 Jan 2000 05:08:01 +0100
>>>>> "John" == John Carter <email@example.com> 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
I'm not so sure. I think that the absence of named parameters can make
it difficult to understand programs.