A general-purpose, procedural computer programming language supporting structured programming, lexical variable scope, and recursion, with a static type system.