What is static type checking in Python?

What is static type checking in Python?

Static type checking in Python involves checking the types of variables at compile time, rather than at runtime.

How does it differ from dynamic type checking?

Dynamic type checking occurs at runtime, allowing more flexibility, while static type checking catches errors earlier.

Can you give me an example of static type checking in Python?

Sure! Using type hints, you can specify types for function parameters and return values, like this:

def add(a: int, b: int) -> int: return a + b

This helps catch type errors before running the code.

What tools can I use for static type checking in Python?

You can use tools like mypy, Pyright, or the built-in type checker in IDEs like PyCharm.