
14 Jun
2010
14 Jun
'10
2:45 p.m.
From: Neil Brown
For example, if you find yourself writing the Nth boilerplate function that pattern-matches all cases in your ADT just to apply a function in its sub-types, that's when you'll want some form of generic programming like SYB. And by that point you'll understand one of the problems that generic programming solves, which is halfway towards understanding the techniques themselves.
This is probably the most approachable description of generic programming I've seen. Every generic framework should have a paragraph like this on the front page of the docs. John