あのすいません多分超初歩的な質問だと思うんですけど前々から気になってたので教えてください。
静的型付けはコンパイル時に型をチェックする、動的型付けは実行時に型をチェックするっていうじゃないですか。
前者は分かるんですよ。ソースコードを変換していくわけだから当然行なえますよ。
でも後者はどういうことなんでしょうか。だってコンパイル終わってたらそれはもうマシン語、CPUへの命令なわけで型の情報とかもう残ってないんじゃないでしょうか。