Type annotation is a syntax allowing developers to indicate the data type of variables, function parameters, and return values. This practice enhances code readability and enables static analysis tools to catch potential errors before execution, improving software reliability.