Static typing vs. dynamic typing