Thinking Functionally with Haskell (Paperback)
Richard Bird
- 出版商: Cambridge
- 出版日期: 2014-10-09
- 售價: $2,430
- 貴賓價: 9.5 折 $2,309
- 語言: 英文
- 頁數: 354
- 裝訂: Paperback
- ISBN: 1107452643
- ISBN-13: 9781107452640
-
相關分類:
Functional-programming
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
$931High Performance Compilers for Parallel Computing (Hardcover) -
程式設計師的自我修養－連結、載入、程式庫$580$493 -
Structure and Interpretation of Computer Programs, 2/e (美國原版)$2,625$2,573 -
$2,720Engineering a Compiler, 2/e (美國原版) -
Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming (Paperback)$1,748$1,656 -
笑談軟體工程：例外處理設計的逆襲$580$493 -
高效能 Python 程式設計 (High Performance Python: Practical Performant Programming for Humans)$680$537 -
Software Abstractions: Logic, Language, and Analysis (MIT Press)$1,900$1,805 -
$403Elasticsearch 技術解析與實戰 -
Real-World Algorithms: A Beginner's Guide (Hardcover)$1,300$1,274 -
Fundamental Proof Methods in Computer Science: A Computer-Based Approach (MIT Press)$2,100$2,058 -
Pandas Cookbook$2,170$2,062 -
The Little Typer (Paperback)$2,060$2,019 -
$1,824Cybersecurity Ops with bash: Attack, Defend, and Analyze from the Command Line -
Stream Processing with Apache Spark: Best Practices for Scaling and Optimizing Apache Spark$2,261$2,142 -
$352別拿相關當因果：因果關係簡易入門 -
$446JRockit 權威指南 : 深入理解 JVM -
領域驅動設計：軟體核心複雜度的解決方法 (Domain-Driven Design: Tackling Complexity in the Heart of Software)$680$530 -
$454JVM G1 源碼分析和調優 -
$1,188Practical Haskell: A Real World Guide to Programming -
A-Life｜使用 Python 實作人工生命模型$520$411 -
Working Effectively with Legacy Code : 管理、修改、重構遺留程式碼的藝術 (中文版)$720$562 -
Algorithm Design with Haskell$2,600$2,470 -
資料密集型應用系統設計 (Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems)$980$774 -
Go 語言設計與實現$839$797
相關主題
商品描述
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 more efficient. The book has been designed to fit a first- or second-year undergraduate course and is a thorough overhaul and replacement of his earlier textbooks. It features case studies in Sudoku and pretty-printing, and over 100 carefully selected exercises with solutions. This engaging text will be welcomed by students and teachers alike.
商品描述(中文翻譯)
Richard Bird以其寫作的清晰度和嚴謹性而聞名。他的新教科書介紹了函數式編程給學生，強調了數學推理函數式程序的基本技巧。通過研究底層的等式法則，這本書使學生能夠將計算推理應用於他們的程序中，既能理解其特性，又能使其更高效。這本書適用於大學一年級或二年級的本科課程，是對他早期教科書的全面改進和替代。它包含數獨和漂亮打印的案例研究，以及100多個精心挑選的練習題和解答。這本引人入勝的教材將受到學生和教師的歡迎。
