Statically typed programming language