Static vs. dynamic typing