動的な言語ならメタな機能を使って、
関数の引数や返り値の型だとか変数の型をアノテーションで宣言できるし、
モジュールロード時に型検査することもできる。

で、動的言語だと何ができないの？