Introducción a la programación funcional usando Haskell
Prentice Hall, 1998 - 433 Seiten
After the success of the first EDITION, Introduction to Functional Programming using Haskell has been thoroughly updated and revised to provide a complete grounding in the principles and techniques of programming with functions. The second EDITION uses the popular language Haskell to express functional programs. There are new chapters on program optimisation, abstract datatypes in a functional setting, and programming in a monadic style. There are complete new case studies, and many new exercises. As in the first EDITION, there is an emphasis on the fundamental techniques for reasoning about functional programs, and for deriving them systematically from their specifications. The book is self-contained, assuming no prior knowledge of programming and is suitable as an introductory undergraduate text for first- or second-year students.
Was andere dazu sagen - Rezension schreiben
Review: Introduction to Functional Programming using HaskellNutzerbericht - Jim Powers - Goodreads
For me, this was a great book for learning Haskell. Lots of rigorous proofs and great discussion of things like strictness and bottom values. What was great about the treatment was that each new ... Vollständige Rezension lesen
Review: Introduction to Functional Programming using HaskellNutzerbericht - Neverov - Goodreads
Nice introduction to Haskell with a lot of exercises. It also taught to prove by induction. Vollständige Rezension lesen
11 weitere Abschnitte werden nicht angezeigt.
Andere Ausgaben - Alle anzeigen
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Tobias Nipkow,Lawrence C. Paulson,Markus Wenzel
Eingeschränkte Leseprobe - 2002
The Haskell School of Expression: Learning Functional Programming Through ...
Eingeschränkte Leseprobe - 2000