…because I noticed that this submission, like another submission that made the front page of HN twice in the past two days [0], touches on the same material as Ch. 6 of Richard Bird and Philip Wadler's book Introduction to Functional Programming [1], which I happened to be re-reading a couple of nights ago. And I want to tell you to go read it. Really, if you find this sort of thing interesting, you should read it. The book isn't strictly a…
…introductory book on functional programming written with Philip Wadler [2] introduces the technique, which is usually called "program calculation". (Though published in 1988, their book remains a great introduction to functional programming.) If you really want to go off the deep end, Jeremy Gibbons's extensive lectures notes, published as a book chapter [3], are the best source I know. (Beware: here be category theory.) 0. https://en.m.wikipedia.org/wiki/Referential_transparency…
说到书，我推荐 Bird 和 Wadler 写的《Introduction to Functional Programming》第一版（Prentice Hall 1988 年出版——矛盾的是，第二版反倒被 Haskell 给“毁了”）。
Talking about books I would recommend Introduction to Functional Programming 1st edition (Prentice Hall 1988 -- the second, paradoxically, is "spoiled" by Haskell), by Bird and Wadler.
…[] = [] quicksort (p:xs) = (quicksort lesser) ++ [p] ++ (quicksort greater) where lesser = filter (< p) xs greater = filter (>= p) xs Bird & Wadler is a great introduction to functional programming as well as algorithms and efficient data structures. http://www.amazon.com/Introduction-Functional-Programming-In... (blimey, I had no idea my old copy was now so valuable!)
Richard Bird, Philip Wadler - Introduction to Functional Programming http://www.amazon.com/Introduction-Functional-Programming-In... Richard Bird - Pearls of Functional Algorithm Design http://www.amazon.com/Pearls-Functional-Algorithm-Design-Ric... Christian Queinnec…
Richard Bird, Philip Wadler - Introduction to Functional Programming http://www.amazon.com/Introduction-Functional-Programming-In... Richard Bird - Pearls of Functional Algorithm Design http://www.amazon.com/Pearls-Functional-Algorithm-Design-Ric... Christian Queinnec…
另一本我想推荐给任何对此话题感兴趣的人的（老牌）神作是 Philip Wadler 和 Richard Bird 的《Introduction to Functional Programming》，网上也有免费版：https://usi-pl.github.io/lc/sp-2015/doc/Bird_Wadler.%20Intro...
Another (old) gem that I feel like suggesting to anyone interested in this topic is 'Introduction to Functional Programming' by Philip Wadler and Richard Bird, which is also available online for free: https://usi-pl.github.io/lc/sp-2015/doc/Bird_Wadler.%20Intro...
……因为我注意到这个提交，就像过去两天两次登上 HN 首页的另一个提交一样 [0]，涉及的内容与理查德·伯德（Richard Bird）和菲利普·瓦德勒（Philip Wadler）合著的《函数式编程导论》（Introduction to Functional Programming）[1] 第 6 章是一样的，而我前几天晚上正好在重温这本书。我就想跟你们说：快去读读看。说真的，如果你对这类东西感兴趣，绝对该读一读。这本书并不严格算是一本……
…because I noticed that this submission, like another submission that made the front page of HN twice in the past two days [0], touches on the same material as Ch. 6 of Richard Bird and Philip Wadler's book Introduction to Functional Programming [1], which I happened to be re-reading a couple of nights ago. And I want to tell you to go read it. Really, if you find this sort of thing interesting, you should read it. The book isn't strictly a…
……与菲利普·瓦德勒（Philip Wadler）合著的函数式编程入门书 [2] 介绍了这种通常被称为“程序演算”（program calculation）的技术。（虽然出版于 1988 年，但他们的书至今仍是一本极佳的 functional programming 入门读物。）如果你真想一探究竟、硬核到底，杰里米·吉本斯（Jeremy Gibbons）详尽的讲义（已作为书籍章节出版 [3]）是我所知道最好的资源。（友情提醒：内有范畴论出没。）0. https://en.m.wikipedia.org/wiki/Referential_transparency…
…introductory book on functional programming written with Philip Wadler [2] introduces the technique, which is usually called "program calculation". (Though published in 1988, their book remains a great introduction to functional programming.) If you really want to go off the deep end, Jeremy Gibbons's extensive lectures notes, published as a book chapter [3], are the best source I know. (Beware: here be category theory.) 0. https://en.m.wikipedia.org/wiki/Referential_transparency…
说到书，我推荐 Bird 和 Wadler 写的《Introduction to Functional Programming》第一版（Prentice Hall 1988 年出版——矛盾的是，第二版反倒被 Haskell 给“毁了”）。
Talking about books I would recommend Introduction to Functional Programming 1st edition (Prentice Hall 1988 -- the second, paradoxically, is "spoiled" by Haskell), by Bird and Wadler.
……[] = [] quicksort (p:xs) = (quicksort lesser) ++ [p] ++ (quicksort greater) where lesser = filter (< p) xs greater = filter (>= p) xs Bird 和 Wadler 合著的那本是函数式编程以及算法和高效数据结构的绝佳入门书。http://www.amazon.com/Introduction-Functional-Programming-In... （天哪，我都不知道我手头那本旧书现在这么值钱了！）
…[] = [] quicksort (p:xs) = (quicksort lesser) ++ [p] ++ (quicksort greater) where lesser = filter (< p) xs greater = filter (>= p) xs Bird & Wadler is a great introduction to functional programming as well as algorithms and efficient data structures. http://www.amazon.com/Introduction-Functional-Programming-In... (blimey, I had no idea my old copy was now so valuable!)
Richard Bird, Philip Wadler - Introduction to Functional Programming http://www.amazon.com/Introduction-Functional-Programming-In... Richard Bird - Pearls of Functional Algorithm Design http://www.amazon.com/Pearls-Functional-Algorithm-Design-Ric... Christian Queinnec…
Richard Bird, Philip Wadler - Introduction to Functional Programming http://www.amazon.com/Introduction-Functional-Programming-In... Richard Bird - Pearls of Functional Algorithm Design http://www.amazon.com/Pearls-Functional-Algorithm-Design-Ric... Christian Queinnec…
另一本我想推荐给任何对此话题感兴趣的人的（老牌）神作是 Philip Wadler 和 Richard Bird 的《Introduction to Functional Programming》，网上也有免费版：https://usi-pl.github.io/lc/sp-2015/doc/Bird_Wadler.%20Intro...
Another (old) gem that I feel like suggesting to anyone interested in this topic is 'Introduction to Functional Programming' by Philip Wadler and Richard Bird, which is also available online for free: https://usi-pl.github.io/lc/sp-2015/doc/Bird_Wadler.%20Intro...