Type checking may become more important in the AI era, not less. @BruceEckel connects type checking with something broader: effect checking — tracking not just what types flow through a program, but what side effects the code can produce. The more boundaries we can give an LLM — types, constraints, interfaces, effects — the better it can reason about what it’s generating. Without those boundaries, we hit scaling problems: code may look plausible, but it becomes harder to trust, maintain, or evolve. Could Python’s type system eventually go further and help us express effects too? Watch the full interview on YouTube: youtu.be/hj6RiSEUuoY?si=cIS_…