コードが抽象的であればあるほど最適化の可能性が広がる、ってところかね。