Static Typing: Which language to choose?