Algorithmic differentiation has been around since at least 1957. Here's a paper I co-authored, dealing with derivatives and generic programming: http://www.axio

Algorithmic differentiation has been around since at least 1957. Here's a paper I co-authored, dealing with derivatives and generic programming: http://www.axiomatics.org/~gdr/ad/issac07.pdf http://www.axiomatics.org/~gdr/ad/issac07.pdf.