in some programming languages, the type is dynamically chosen