Honestly, this is a really nice piece of notation -- I'd really like to see this in C++ (just because that's the language I personally use the most).