This is the FLtalk programming language. It's Smalltalk-ish, but implements pure data flow semantics; all instance variable changes result in a new version of the object (maintained internally using delta representations). It should be considered an experimental language; the implementation is fully function--including debugger. But execution efficiency was never very good.