No, you are still misunderstanding static type dispatch within a dynamic language. The registry of overloaded specializations works based on static type informa

No, you are still misunderstanding static type dispatch within a dynamic language. The registry of overloaded specializations works based on static type information. That is not a requirement to have statically typed values (neither in Python nor Julia) but it is still statically typed.