逆に、型がない言語では実装不可能なことがあるよね。

int a = 1;
a = "a"; ← エラーになる。
型がない言語ではできない芸当です。