圖書標籤: 算法 函數式編程 FP 計算機科學 Haskell Programming 編程 Algorithm
发表于2024-12-23
Pearls of Functional Algorithm Design pdf epub mobi txt 電子書 下載 2024
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.
用program calculation來證明算法正確性除瞭嚴謹性之外的一大好處是算法能起效的“核心思想”和邊邊角角的細節被分離瞭:細節就是那些很明顯很常見的演算步驟,“核心思想”就是那些很奇特的步驟。有時甚至“核心思想”也被分解為一步一步有獨立意義的部分。很期待日後能有教科書按這樣的方式從零開始介紹(functional?)算法。
評分看看代碼就好,解釋的實在太糟糕瞭。。。
評分看看代碼就好,解釋的實在太糟糕瞭。。。
評分用program calculation來證明算法正確性除瞭嚴謹性之外的一大好處是算法能起效的“核心思想”和邊邊角角的細節被分離瞭:細節就是那些很明顯很常見的演算步驟,“核心思想”就是那些很奇特的步驟。有時甚至“核心思想”也被分解為一步一步有獨立意義的部分。很期待日後能有教科書按這樣的方式從零開始介紹(functional?)算法。
評分用program calculation來證明算法正確性除瞭嚴謹性之外的一大好處是算法能起效的“核心思想”和邊邊角角的細節被分離瞭:細節就是那些很明顯很常見的演算步驟,“核心思想”就是那些很奇特的步驟。有時甚至“核心思想”也被分解為一步一步有獨立意義的部分。很期待日後能有教科書按這樣的方式從零開始介紹(functional?)算法。
評分
評分
評分
評分
Pearls of Functional Algorithm Design pdf epub mobi txt 電子書 下載 2024