>>42

プロトタイプベースは、その性質から動的型としてしか作れない。
型推論などを使って、静的型を取り入れられるかは今後の課題。

>>43

つまりどの言語も厳密には型が存在し、
動的か静的かは型の生存期間の違いでしかない。