Functional programming language for systems programming