Well, that's a system of notation, not a programming language. And it's name isn't properly "Z", it's "Z notation". I'll admit Z++ is a candidate here, but I'm excluding it for it's overly eager "++". So, we may have VR, but until there's a properly compiled ( or even interpreted) Z language, I'm still waiting for the future to arrive :)