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 teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.