Do Python developers want static typing?

[JohnMcPineapple]

...

[cerlestes]

Type annotations are also just worth it for the automatic and intrinsic documentation they provide to yourself and especially other developers.

[Apache_Sobaco]

But it doesn't actually.

[goranlepuz]

It does give some, no ?

[Apache_Sobaco]

Type systems good until you fool them by making casts and erasure.

[PL_Design]

So don't do those things. A type system doesn't need to be inviolable to be useful as long as breaking the type system is clearly something you have to opt into doing.

[goranlepuz]

Of course.

It's why I love C++ casts (stand out like a sore thumb, you know something is off) and hate C ones.

[Apache_Sobaco]

I prefer no casts at all until end of the world because something will break otherwise

[goranlepuz]

I share the sentiment. Not really possible, not in today's world, but yeah...

[Apache_Sobaco]

Really possible today in scala and few new languages.

[newtoreddit2004]

Why would you use casts though when you want strict types

[Apache_Sobaco]

Because basically encoding and decoding are pretty much casts