A compiled and type-safe programming language.