動的/静的と動的型/静的型は別のもの
型は静的の方が間違いなく最適化できるが、
実行環境でコンパイルするという性質はネイティブコード配布型に比べてメリットに成り得る