Strongly typed programming language