Python annotations that specify the expected types of function parameters, return values, and variables. Used by static type checkers like **mypy** and by frameworks like **Pydantic** and **FastAPI**. (Ch. 5, Appendix C)