>>78
違うよ。型変換されてるだけ。
基本的には値は全部型を持つ。
そのことを「型情報を持つ」というのかどうかは知らないけど
一般常識的に考えれば良いんじゃないかな。
例えば、'a'にintの「型情報が無い」ってのは、ちょっとおかしいような
気もする。
コンパイラが変数の代入時に型の情報を必要とするわけだし。