My copy of The Fun of Programming came in the other day and I've been looking through it. It has chapters covering a wide range of topics:
- functional data-structures, amortised analysis, etc.;
- testing and specification with QuickCheck;
- programming with folds, unfolds, etc.;
- music programming;
- representing financial contracts;
- graphics programming;
- hardware description;
- combinators;
- arrows; and
- phantom types
Both the software from the book and details about the symposium from which its content comes are available on the Oxford Computing Laboratory web-site.
No comments:
Post a Comment