Object calculus interpreter in Haskell

Object calculus interpreter in Haskell

I have uploaded a simple object calculus interpreter to the download section in miscellaneous Haskell. The interpreter supports method invocation, updates, parameters, named self-references and more.

Here are some examples of evaluations.

> [l1 = 2 + 3].l1
5
> [l1 = 1, l2 = self.l1].l2
1
> [l1 = {x} [l1 = {y} x, l2 = 3].l2].l1
3
> [c = 0, set = {x} x.edef("c", "y", $0), get = self.c, inc = self.set(self.get + 1)].inc.inc.get
2

Many more examples are available in the test-files.