Haskell: Craft Functional Programming

Simon Thompson

ISBN 10: 0201403579 / ISBN 13: 9780201403572

Editore: Addison Wesley Publishing Company, 1840

Riguardo questo articolo

The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR001746241

Dati bibliografici

Titolo: Haskell: Craft Functional Programming

Casa editrice: Addison Wesley Publishing Company

Data di pubblicazione: 1840

Legatura: Paperback

Condizione: Very Good

Descrizione articolo

Riassunto:

Named in honor of Haskell Curry, whose work has had a profound influence on functional programming, the Haskell language is growing rapidly in popularity - especially as a vehicle to teach introductory programming concepts. This book introduces Haskell at a level appropriate for those with little or no prior experience of functional programming. The emphasis throughout is on crafting programs, solving problems and avoiding common pitfalls. In three parts the book *first builds a foundation, focusing on programming basic types and lists, using first-order, non-polymorphic programs *then looks at the three ideas of higher-order functions, polymorphism and type classes, which together give modern functional programming its distinctive flavour and power *finally discusses larger-scale programming, supported by an exploration of user-defined types, modules, lazy evaluation and IO programming using monads.Key Features *An analysis of program behavior and efficiency *A strong emphasis on software engineering and problem-solving techniques *An optional thread on proving that programs have the properties required of them which runs through the text *Software modification and re-use are emphasised in the discussion of design issues *Design advice is supplemented with examples and case studies of varying size and complexity *Appendices contain support material of various kinds - pointers to sites from which implementations of Haskell and Gofer can be obtained; common error messages; a glossary of programming terms; functions from parts of the Haskell standard preludes *Over 400 exercises of varying difficulty Haskell systems *The text is designed to be used with any Haskell implementation, such as Hugs (Haskell Users Gofer System) whose interface and error messages are described in some detail. Note that the Hugs system described is Hugs 1.01; the June 1996 Yale release of the system is similar, but implements the full Haskell module system rather than projects as stated in the text; full details of the small number of differences are given in the code files.*The material takes account of the latest revision to the language definition, Haskell 1.3 *The text can also be used with the Gofer system. 0201403579B04062001

L'autore:

Simon Thompson is a Senior Lecturer in Computer Science at the University of Kent. His research and teaching interests include functional programming and logical aspects of computer science.

0201403579AB04062001