Algebra of programming
by Bird, Richard · first published 1997
3mentions
2recommended by
3HN commenters
2011–2020first – last mentioned
67% recommend33% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
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...
on “A Gentle Introduction to Category Theory [pdf]” ↗…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
on “Review: Learn You a Haskell for Great Good” ↗…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.
on “The Hardest Program I've Ever Written – How a code formatter works (2015)” ↗