[illumen]

In the literature this is called Gradual Typing. Or optional typing.

Python uses it in the last couple of versions.