Наткнулся на сайт
www.generic-programming.org с разнообразной информацией по предмету, в основном C++ related. Самое интересное - это проект
ConceptC++ - расширение языка, которое позволяет очень красиво описывать требования к параметрам темплейтов, и адаптеры типов к теплейтам. Помимо дополнительных полезных compile-time проверок позволяет отказаться от определенных трюков темплейтного программирования, сделать код короче и понятней.
Кстати, нашел я его читая переписку про
variadic templates - тоже весьма "вкусное" расширение языка, в смысле упрощения определенных аспектов темплейтного программирования.
Оба расширения уже реализованы в виде модифицированного gcc, написаны бумаги в комитет стандартизации и есть, пусть небольшая, но надежда, что они войдут в C++0x.
Looking forward.