Thinking Functionally with Haskell (Paperback)
暫譯: 用 Haskell 進行函數式思考 (平裝本)
Richard Bird
- 出版商: Cambridge
- 出版日期: 2014-12-08
- 售價: $2,480
- 貴賓價: 9.5 折 $2,356
- 語言: 英文
- 頁數: 354
- 裝訂: Paperback
- ISBN: 1107452643
- ISBN-13: 9781107452640
-
相關分類:
Functional-programming
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
$931High Performance Compilers for Parallel Computing (Hardcover) -
程式設計師的自我修養－連結、載入、程式庫$580$458 -
$2,573Structure and Interpretation of Computer Programs, 2/e (美國原版) -
Engineering a Compiler, 2/e (美國原版)$3,400$3,230 -
$1,748Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming (Paperback) -
笑談軟體工程：例外處理設計的逆襲$580$493 -
高效能 Python 程式設計 (High Performance Python: Practical Performant Programming for Humans)$680$537 -
Software Abstractions: Logic, Language, and Analysis (MIT Press)$1,940$1,843 -
$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,220$2,109 -
The Little Typer (Paperback)$2,080$2,038 -
$1,824Cybersecurity Ops with bash: Attack, Defend, and Analyze from the Command Line -
$2,261Stream Processing with Apache Spark: Best Practices for Scaling and Optimizing Apache Spark -
$352別拿相關當因果：因果關係簡易入門 -
$446JRockit 權威指南 : 深入理解 JVM -
領域驅動設計：軟體核心複雜度的解決方法 (Domain-Driven Design: Tackling Complexity in the Heart of Software)$680$578 -
$454JVM G1 源碼分析和調優 -
$1,188Practical Haskell: A Real World Guide to Programming -
A-Life｜使用 Python 實作人工生命模型$520$411 -
Working Effectively with Legacy Code : 管理、修改、重構遺留程式碼的藝術 (中文版)$720$612 -
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道精心挑選的練習題和解答。這本引人入勝的教材將受到學生和教師的熱烈歡迎。
