An imperative and functional programming language.