>>745
「これが動的型付けの世界(キリリッ」
と書くのは結構だけれども、

コード例がCのキャストを使った例という時点で、実際には
「これが静的型付けの世界」だったという罠。

型安全な動的型付けでは、そんなつまらんキャストないよ。
データ自身が型情報を持っているから、キャストせずにコアージョンする。
データ自身に型情報が無いために妙なキャストをするのは静的型付けだけ。