Strong vs Weak Typing: Can't we have the best of both worlds?