程序设计代数
The Algebra of Programming
R. J. Bird · 初版 1997 年
- 8次提及
- 4人推荐
- 7位 HN 评论者
Hacker News 读者推荐
想看演示的话，我推荐 Erik Meijer 和 Brian Beckman 的“Going Deep”节目视频，http://channel9.msdn.com/search?term=erik+meijer+brian+beckm... 外加 Richard Bird 和 Oege de Moor 写的《Algebra of Programming》这本书 http://www.amazon.com/Algebra-Programming-Prentice-Hall-Inte...
tydok 在 HN 的推荐
……当然就是大家根本不需要依赖图表和文字描述，直接用编程语言写出来就行。顺便提一句，我在函数式编程领域最喜欢的书之一是《Algebra of Programming》[2]，它讲的是把程序当作一种代数来对待，（经过练习后）可以像摆弄数学里的代数表达式一样轻松地操纵程序。这本书通过程序推导解决了很多问题，比如……
siraben 在 HN 的推荐
……讲座抄录：Martin-Löf 的《On the meanings of the logical constants and the justifications of the logical laws》[0]。如果你是指用非常数学化的方法来推导程序：Bird 和 de Moor 的《Algebra of Programming》[1] [0] (pdf) https://ncatlab.org/nlab/files/MartinLofOnTheMeaning96.pdf [1] (pdf) https://themattchan.com/docs/algprog.pdf
danharaj 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 013507245X
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。