Technical Ramblings

Gradual-Typing

Python Typing Koans

Python 3 introduced type annotation syntax. PEP 484 introduced a provisional module to provide these standard definitions and tools, along with some conventions for situations where annotations are not available.

Python is a dynamic language and follows gradual typing. When a static type checker runs a python code, the type checker considers code without type hints as Any.

def print_name(name):
       print(name)

planet: str = "earth"

In the above example, the name argument type hint will be Any since the type hint is missing while the type hint for the planet variable is a string.