Hacker News Reader

Scala offers both (not in a release version yet, but not far off) by way of @specialize. http://www.scala-lang.org/sid/9

Or have the former as the default, and allow the programmer to opt for the second, if the optimization is needed?

Cool idea. Has this been done in any language before?