Pearls of Functional Algorithm Design
Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Cambridge University Press
2011
|
| Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/26091 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-26091 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-260912012-03-03T05:09:43Z Pearls of Functional Algorithm Design Bird, Richard Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style. 2011-09-30T07:25:12Z 2011-09-30T07:25:12Z 2010 Book 978-0-511-90044-0 978-0-521-51338-8 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/26091 en application/pdf Cambridge University Press |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| description |
Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style. |
| format |
Book |
| author |
Bird, Richard |
| spellingShingle |
Bird, Richard Pearls of Functional Algorithm Design |
| author_facet |
Bird, Richard |
| author_sort |
Bird, Richard |
| title |
Pearls of Functional Algorithm Design |
| title_short |
Pearls of Functional Algorithm Design |
| title_full |
Pearls of Functional Algorithm Design |
| title_fullStr |
Pearls of Functional Algorithm Design |
| title_full_unstemmed |
Pearls of Functional Algorithm Design |
| title_sort |
pearls of functional algorithm design |
| publisher |
Cambridge University Press |
| publishDate |
2011 |
| url |
http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/26091 |
| _version_ |
1757664223830212608 |