Gradual Typing in Python