I received a very nice email from Nuno Job. Here it is with a few minor edits:
Hi,
I was watching your lecture (video on infoq, slides and comments) and quite enjoyed it.
In one of your last slides you where doing advanced recursion on a tree and wanted to share this book with you: Program Design by Calculation.
It's mostly Haskell but the recursion over trees is quite something else and I think your work might benefit from it.
Here's a little sample of code written with this kind of generic fold mechanisms for a tree (in this case a pointfree exp tree).
Best,
Nuno
Recent work:
- Kestrels, Quirky Birds, and Hopeless Egocentricity and my other books.
- Cafe au Life, a CoffeeScript implementation of Bill Gosper's HashLife written in the Williams Style.
- Katy, a library for writing fluent CoffeeScript and JavaScript using combinators.
- YouAreDaChef, a library for writing method combinations for CoffeeScript and JavaScript projects.