I believe the term is gradual typing: https://en.wikipedia.org/wiki/Gradual_typing https://en.wikipedia.org/wiki/Gradual_typing Thanks for the links. I didn't

I believe the term is gradual typing: https://en.wikipedia.org/wiki/Gradual_typing https://en.wikipedia.org/wiki/Gradual_typing Thanks for the links. I didn't know about python's typing. It looks like a fairly recent addition.