A strongly typed, functional, compiled, and non-garbage collected language.