>>160
実行時に型チェックするぐらいなら
実行前に型チェックすればいいじゃないか。

実行時だと全パターンチェックしないとわからないんだぞ。
2の何十乗パターンが有ると思ってるんだ？