statically typed programming language