[Python] Numpyによる配列計算が速い理由について

解決したいこと

Numpyを用いた配列計算が、forなどのループを配列要素ごとに回すより速い理由について詳しく知りたいです。

調べてわかった部分

• Numpyの関数による配列計算は、内部でCなどの静的型付き言語によって記述されたプログラムにより実行される
• その実行の中でも、行列計算用のライブラリを呼び出すことでさらに高速化を計っている

疑問点

• なぜ静的型付き言語による実行は速いのか
• Numpyは予めコンパイルされたプログラムを動かしている話を目にしたが、実際の計算に与えられる値が決まっていない状態でコンパイルすることは可能なのか