A baby type checker for Python is being developed to catch type errors early and act as documentation, supporting primitive types, containers, functions, assignments, binary operators, indexing, type unions, and type narrowing. The type checker uses the ast module to parse Python code, identify type annotations, and compare them with the actual types used in the code, catching various type ...