[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Object orientation in es, and a bug?



Harald Hanche-Olsen writes:
[ an example of implementing objects in es along the lines suggested for
Scheme in ``The Structure and Interpretation of Computer Programs'' ]

> The problem seems to be that each interior function now has its own
> copy of s, rather than referring to the common s.  Surely a bug?

Well, yes, it's probably a bug if you want to think of es as a pure
lambda calculus, but it's a necessary consequence of using fork and the
environment on Unix.

Trying to shoehorn the semantics of the lambda calculus on top of Unix
may not have been the smartest idea I ever had.  This is one of the
places where it falls apart.

Paul