Beyond Bash: Shell scripting in a typed, OO language (docs.google.com)