This is Philip Wadler’s new Haskell introductory text, and seems a bit more hardcore than Thinking Functionally in Haskell or Haskell: The Craft of Functional Programming. I get the feeling this is not strictly introductory, but more suited for parts of a Discrete Mathematics course.
Any academic reviews? Any academics seeing this as an interesting textbook (Department Head: oh hey, we can stuff FP into our Discrete Mathematics course) for teaching?
There is a shortish review in Document Zbl 1497.68005 - zbMATH Open
This textbook was written for our first semester course in Edinburgh, required for all Computer Science students but also taken by non-CS students, that combines functional programming in Haskell with propositional logic and automata theory. We find that this combination works very well for beginning Computer Science students as an introduction to the subject and a basis for what they will do later. I guess I don’t have to explain to this audience why Haskell is a good choice for first programming language. The textbook is strictly introductory in the sense that no prior knowledge is required.
Anybody who want to consider use the book for teaching is welcome to contact me (dts@inf.ed.ac.uk) to get access to our teaching material.
Don Sannella, Edinburgh