Strongly-typed programming language