The more I look at Io, the more it seems like f-expressions with an OO flavour. A really interesting mix, although I wonder how hard it would be to write a linter/static analysis tool.