• chaiyihein 3 days ago
    It's basically automated typing in Python using information about the types and data at runtime.