Cambridge University Press 978-1-107-08720-0 - Thinking Functionally with Haskell Richard Bird Frontmatter More information THINKINGFUNCTIONALLYWITHHASKELL Richard Bird is famed for the clarity and rigour of his writing. His new textbook, which introduces functional programming to students, emphasises fundamental techniques for reasoning mathematically about functional programs. By studying the underlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their properties and to make them moreefcient. The book has been designed to t a rst- or second-year undergraduate course andisathoroughoverhaulandreplacementofhisearliertextbooks.Itfeaturescase studies in Sudoku and pretty-printing, and over 100 carefully selected exercises withsolutions.Thisengagingtextwillbewelcomedbystudentsandteachersalike ...
c JFP25(e2):1–3*(First pubd online 2015) 2015 Cambridge University Press doi:10.1017/S0956796815000076 1 *Provisional – nal page numbers to be inserted when paper edition is published Bookreview Thinking Functionally with Haskell by Richard Bird, Cambridge University Press, 2014. doi:10.1017/CBO9781316092415 With Thinking Functionally in Haskell Richard Bird steps up to continue a family of textbook classics. Bird and Wadler jointly started the series with two editions of Introduction to Functional Programming (in Haskell) in 1988 and 1998, respectively. Let me begin with the outright spoiler that I think that this third edition breathes new life into the series and indeed ...
1 How to calculate with nondeterministic functions Richard Bird and Florian Rabe Computer Science, Oxford University resp. University Erlangen-Nurnb¨ erg MPC2019 Background 2 Background Background 3 Calculate Functional Programs Bird–Meertens formalism (Squiggol) derive functional programs from specications use equational reasoning to calculate correct programs optimize along the way Example: h(foldrf exs) = foldrF (he)xs try to solve for F to get more ecient algorithm Richard’s textbooks on functional programming Introduction to Functional Programming, 1988 Introduction to Functional Programming using Haskell, 1998 Thinking Functionally with Haskell, 2014 Background 4 History My background Not algorithms or functional programming Formal systems ...
PDF | 0.14 MB | Free Download
