想看演示的话，我推荐 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...
For a demonstration, I recommend the "Going Deep" show episodes of Erik Meijer and Brian Beckman, http://channel9.msdn.com/search?term=erik+meijer+brian+beckm... plus the book "Algebra of Programming" by Richard Bird, Oege de Moor http://www.amazon.com/Algebra-Programming-Prentice-Hall-Inte...
……那些没见过用等式推理来写程序（或对程序做简单证明）的人，这里有一个本周来自 SO 的例子：* http://stackoverflow.com/questions/5710078/in-haskell-perfor... 《Algebra of Programming》万岁！更多关于这种风格的内容，见 Richard Bird（或牛津的其他人）。例如 http://lambda-the-ultimate.org/node/1117
…those who've not seen equational reasoning used to write programs (or do simple proofs on them), here's an example from SO this week: * http://stackoverflow.com/questions/5710078/in-haskell-perfor... Algebra of Programming FTW! See Richard Bird (or others at Oxford) for more on this style. E.g. http://lambda-the-ultimate.org/node/1117
……库），我们就可以利用这种通用结构来验证（以及生成？）我们特定问题解决方案的某些方面。更新：论文里提到“多年来，Richard Bird 等人已经把编程的代数方法发展成了一门精湛的艺术”——我顺着找到了 Bird 的书《Algebra of Programming》。感觉这可能就是我想找的东西，但要是有其他替代资源我也非常乐意了解。
…library), we can use that general structure to verify (and generate?) certain aspects of our particular problem solution. Edit: The paper mentions "Over the years, Richard Bird and others have developed the algebra of programming to a fine art" —and I found Bird's book "Algebra of Programming". Seems like what I'm looking for maybe, but would be grateful to hear of any alternative resources as well.
想看演示的话，我推荐 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...
For a demonstration, I recommend the "Going Deep" show episodes of Erik Meijer and Brian Beckman, http://channel9.msdn.com/search?term=erik+meijer+brian+beckm... plus the book "Algebra of Programming" by Richard Bird, Oege de Moor http://www.amazon.com/Algebra-Programming-Prentice-Hall-Inte...
……那些没见过用等式推理来写程序（或对程序做简单证明）的人，这里有一个本周来自 SO 的例子：* http://stackoverflow.com/questions/5710078/in-haskell-perfor... 《Algebra of Programming》万岁！更多关于这种风格的内容，见 Richard Bird（或牛津的其他人）。例如 http://lambda-the-ultimate.org/node/1117
…those who've not seen equational reasoning used to write programs (or do simple proofs on them), here's an example from SO this week: * http://stackoverflow.com/questions/5710078/in-haskell-perfor... Algebra of Programming FTW! See Richard Bird (or others at Oxford) for more on this style. E.g. http://lambda-the-ultimate.org/node/1117
……库），我们就可以利用这种通用结构来验证（以及生成？）我们特定问题解决方案的某些方面。更新：论文里提到“多年来，Richard Bird 等人已经把编程的代数方法发展成了一门精湛的艺术”——我顺着找到了 Bird 的书《Algebra of Programming》。感觉这可能就是我想找的东西，但要是有其他替代资源我也非常乐意了解。
…library), we can use that general structure to verify (and generate?) certain aspects of our particular problem solution. Edit: The paper mentions "Over the years, Richard Bird and others have developed the algebra of programming to a fine art" —and I found Bird's book "Algebra of Programming". Seems like what I'm looking for maybe, but would be grateful to hear of any alternative resources as well.