I disagree since the book is using a functional programming language to advance the idea that CS is about procedural epistemology as opposed to the declarative

I disagree since the book is using a functional programming language to advance the idea that CS is about procedural epistemology as opposed to the declarative stance of maths. The idea that a 'procedural programming paradigm' exists in contrast with a 'functional programming paradigm' is blogspeak imho.