Comment by obtu

PostgreSQL is extensible enough that runtime specialisation would be best, I think. A JIT compiler, or a compiled type-safe multi-stage[1] programming language like MetaOCaml, would give the best performance.

[1] http://www.cs.rice.edu/~taha/MSP/