However, in many cases the polymorphic behaviour needed is invariant and can be determined at compile time.
しかし、多くの場合ポリモーフィズムは動的である必要がなく、コンパイル時に決定可能である。