Static versus dynamic typing