ハンガリアンなしでどうやって型の間違いを知るの？

たとえば、
a=b+c
ってあって、a、cが整数、bが文字列であっても
実行するまで気づかないの？