What are the main advantages and disadvantages of using static typing in programming?

Static typing means that the types of variables and expressions are determined at compile time.

Advantages:

• Early detection of type errors, reducing the number of bugs at runtime.
• Improved performance through compiler optimizations.
• More understandable and predictable code, as types are explicitly specified.
• Support for autocompletion and refactoring in IDEs.

Disadvantages:

• Less flexibility, making it harder to write generic or dynamic code.
• Requires more time to write and maintain code due to the need to explicitly specify types.
• Sometimes leads to redundancy and verbosity in code.

In Python, the default is dynamic typing, but with the advent of type annotations and static analysis tools (e.g., mypy), it is possible to gain the benefits of static typing without losing flexibility.