After reading that paper I can say that D compilers can start doing the simpler thing: recognizing instantiations of a function template that are compiled to the same asm code, and keep only one of them. The Microsoft compiler seems to do that already. Bye, bearophile