A pragmatic, functional systems programming language.