A statically typed scripting language that is transpiled into shell script