The Science of Functional Programming A tutorial, with examples in Scala

The Science of Functional Programming: A tutorial, with examples in Scala
English | 2020 | ISBN: n/a | 628 Pages | PDF | 6 MB
This pedagogical tutorial book presents the theoretical knowledge needed by practitioners of the functional programming paradigm. The main topics covered are: working with functional collections and recursion; the fundamental type and code constructions in functional programming; reasoning about types and code with the Curry-Howard correspondence; laws, structure theorems, and code derivation for functors, monads, and other important typeclasses; free type constructions; and parametricity theorems. Detailed explanations are logically developed and accompanied by full derivations and worked examples tested in the Scala interpreter, as well as exercises. Readers should have a working knowledge of programming; e.g. be able to write code that reads a small text file and prints the number of words in it. The mathematical complexity of the calculations in this book is at the level of high-school mathematics, similar to simplifying the expressions 1/(x-2) - 1/(x+2) and (d/dx)((x+1)f(x)exp(-x)).