>>76
マシン語なら型の情報がないという理解が間違ってる
静的でも動的でも型チェックをPCが実施できるということは型情報をマシン語に変換できるということ
音声でも映像でもPCは保持できるのに型情報なんていう簡単なものを保持できないという誤解はどこから来た