例えばあえて実在しない(と思う)架空の言語で、少なくともオレンジは
integer y = 5
integer x = 4 * y
y = 8
であれば、このあとxを見れば20である気がするし
integer y = 5
procedure x = 4 * y
y = 8
であれば、このあとxを見れば32である気がするかも＞＜
でも、数学には明示的な型システムを使う習慣は無いっぽいかも＞＜