[symlinkk]

Those are completely different concepts. You're confusing dynamic typing with type inference.

Dynamic typing: C# "dynamic" keyword

Type inference: C# "var" keyword, C++ "auto" keyword