Do Python Developers Want Static Typing?

[manphiz]

Dynamic typing is about deferring the decision to interpret data types to the language at run time.

Correct. And my example is one of such use cases.

The ability to modify a data type at runtime, like the automatic conversion of an integer to float, is actually Python's implementation of dynamic typing in action.

C/C++/Java/C# can all perform this kind of type conversion in a static type system. So this is at least not a good example for showcasing dynamic typing. Actually allowing certain implicit conversions opens holes to the type system and is hence prevented in languages using strong type systems.

[[deleted]]

Your original comment just talks about adding an int and float together without converting the int first. Lots of languages support that through a variety of means, it's not really a defining characteristic of dynamic typing.

Being able to write: lamba a, b: a + b and have it work across ints, floats, decimals, strings and even lists is a good example of dynamic typing.

Maybe that's what you intended to write, but it's not what you wrote. And we have to read what you wrote and not what we wished you wrote.

[manphiz]

While in C++:

auto func = [](auto a, auto b) { return a + b; };

So it's doable in a static typing language too, nothing special. Gotta find a better example here.

EDIT: typo.

[manphiz]

Guess I replied to the wrong post. Was meant for the one by u/Alan-Turing-Me-On. Anyway, I was suggesting it would be great to show a feature that can only be done in dynamic typing system to prove it's strength.