sure, but in C if you have a line that looks like

   z = 3/y

you'll know that y is either always a float or always an int depending on its type and thus you'll 'know' what z is.