The underlying mathematics of software drive our programming languages and our algorithms, providing tools and concepts we use to build code ... functional programming language designed to ...