I’m glad that this wasn’t the textbook in my introductory computer science course, long ago in 1986. If it were, I may have fallen in love with computing and never become a philosopher.
Parenthetical remark 1: How a textbook based on Haskell, a computer programming language that wasn’t even defined in 1986 is a matter for counterfactual speculation.
Parenthetical remark 2: I did do a section on Miranda in a Declarative Programming course in my second year, in 1987. I see now that this was pretty cutting-edge stuff. By this time, however, the mystique of late night (and all night) debugging sessions had well-and-truly worn off, and I’ve become a philosopher, after a brief stint trying to become a mathematician instead.
I’m Greg Restall, and this is my personal website. ¶ I am the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews, and the Director of the Arché Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology ¶ I like thinking about – and helping other people think about – logic and philosophy and the many different ways they can inform each other.