型はこの変数はこのサイズで収納してこの演算命令を使うという意思表示だと思ってるけど
最近の言語は曖昧にしても同じような成果物になるもんなの？
そうならなくてもよいと思うけど