動的も静的も違わないだろ。
なぜならば機械的に動的　⇒　静的の変換が可能だからだ。
型が無限にあれば静的にできない可能性があるが、実用上ではありえない。