A statically typed, interpreted programming language