Cantitate/Preț
Produs
Total produse
Vezi coșul
Introduction Functional Programming de Richard Bird

Introduction Functional Programming: Prentice Hall Series in Computer Science

Autor Richard Bird, Thomas E. Scruggs, Margo A. Mastropieri
en Limba Engleză Paperback – 30 apr 1998

Diferența majoră dintre Introduction Functional Programming și documentația tehnică standard a oricărui limbaj de programare rezidă în abordarea conceptuală pură. Remarcăm faptul că autorii, coordonați de Richard Bird, nu își propun să livreze un manual de sintaxă, ci să fundamenteze programarea ca o disciplină matematică riguroasă. În loc să se piardă în detalii de implementare, textul expune construcția programelor funcționale ca pe un proces de calcul, unde matematica utilizată este strict limitată la ceea ce este necesar pentru scrierea de cod eficient și corect.

Subliniem structura acestei a doua ediții, care rafinează conceptele introduse anterior, punând accent pe raționamentul bazat pe ecuații. Cititorul care a aplicat deja ideile din The Functional Approach to Programming de Guy Cousineau va găsi aici o continuare firească, ce face trecerea de la structura logică a programului la demonstrația matematică a funcționalității sale. În timp ce alte lucrări se concentrează pe mediul de execuție, Introduction Functional Programming prioritizează claritatea designului.

Apreciem modul în care autorul reușește să mențină un ton tehnic și precis, evitând abstractizările inutile. Deși Richard Bird este cunoscut în alte sfere editoriale pentru lucrări practice precum Practical Gardening sau Practical Guide to Pruning, Training and Topiary, în domeniul informaticii el aplică aceeași metodologie a pașilor concreți și a structurii clare. Dacă în ghidurile sale horticole accentul cade pe tehnici aplicate, în această lucrare de referință din Prentice Hall Series in Computer Science, el transpune rigoarea observației în domeniul algoritmilor funcționali.

Citește tot Restrânge

Preț: 55200 lei

Preț vechi: 63449 lei
-13%

Puncte Express: 828

Carte disponibilă

Livrare economică 29 aprilie-13 mai
Livrare express 14-18 aprilie pentru 4188 lei

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9780134843469
ISBN-10: 0134843460
Pagini: 448
Dimensiuni: 176 x 236 x 22 mm
Greutate: 0.75 kg
Ediția:Nouă
Editura: Prentice Hall
Seria Prentice Hall Series in Computer Science

Locul publicării:Harlow, United Kingdom

De ce să citești această carte

Recomandăm această carte programatorilor care doresc să depășească stadiul de simpli utilizatori de biblioteci și să înțeleagă mecanismele matematice din spatele paradigmei funcționale. Veți câștiga o metodologie riguroasă de calcul al programelor, transformând scrierea codului într-o știință exactă. Este resursa ideală pentru cei care caută fundamentele teoretice necesare pentru a scrie software robust și verificabil matematic.

Despre autor

Richard Bird este o figură proeminentă în informatică, fiind recunoscut pentru rigoarea și claritatea cu care abordează programarea funcțională. Membru marcant al comunității academice, Bird a contribuit fundamental la dezvoltarea tehnicilor de calcul al programelor. Interesele sale sunt neobișnuit de diverse; în paralel cu cariera în computer science, este un autor prolific în domeniul horticulturii, publicând peste 30 de titluri despre grădinăritul organic și botanică. Această dualitate îi conferă un stil unic de scriere, unde precizia matematică se împletește cu o capacitate rară de a structura informația complexă într-un format accesibil și logic.

Cuprins

1. Fundamental Concepts.
2. Simple Datatypes.
3. Numbers.
4. Lists.
5. Examples.
6. Trees.
7. Efficiency.
8. Abstract Datatypes.
9. Monads and Interaction.
10. Case Study.

Textul de pe ultima copertă

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.

Caracteristici

  • Now uses Haskell 3.1.
  • All chapters have been rewritten and substantially updated
  • New case studies, including a substantial application involving an automatic proof tool.
  • A calculus of time complexity is included.
  • The treatment of data types and recursion comes much earlier than the previous edition.
  • Exercises have been changed and simplified.
  • There is a new chapter on abstract datatypes in a functional setting.
  • There is a simple yet coherent treatment of the Haskell class.
  • The laws of functional programming have been made more coherent.
  • Includes a treatment of monadic input-output.

Descriere scurtă

After the success of the first edition of Introduction to Functional Programming, the authors have thoroughly updated and revised this bestselling title. This book is unusual amongst books on functional programming in that it is primarily directed towards the concepts of functional programming, rather than their realization in a specific programming language. The book clearly expounds the construction of functional programs as a process of mathematical calculation, but the mathematics is restricted to that relevant to the actual construction of programs.