It's basically automated typing in Python using information about the types and data at runtime.