|
|
|
|
|
|
by hexane360
983 days ago
|
|
|
"Dynamic typing" refers to types which can be determined only at runtime, not at compile time. "Type inference" is what you're referring to, and is an optional feature of static type checkers. For instance, C has static types but no type inference, while C++ has static types with type inference. The concept of "type inference" doesn't make sense for dynamic typing. |
|
|