Statically typed, compiled, and imperative programming language