前スレ975のケース
int a = 1;
int b = 3;
float c = a / b;
についてだけれど、コンパイラがfloat c= まで読んだ時点で
=の右辺をfloatの文脈とする言語があっても良い気がする。
つまり、型を決めるのはデータの供給側でなくて需要が決めるという言語。