Statically-typed programming language