Category:Statically-typed programming languages