Strongly-typed, functional-first programming language for writing simple code to solve complex problems