undefined | Better HN

0 pointsvmchale6y ago0 comments

> None of that would be a problem in a typed language.

Python is dynamically typed and weakly typed, but still typed. That's precisely the problem! The difference is just that a statically typed language gives you all the information, and a dynamically language doesn't, but still fails. Just without providing you the necessary information up-front.

There's a nice explanation here: https://existentialtype.wordpress.com/2011/03/19/dynamic-lan...

0 comments

1 comments · 1 top-level

lmm6y ago

> Python is dynamically typed and weakly typed, but still typed.

People who claim that dynamic typing is a thing claim that Python is strongly typed. (This is of course nonsense; there's no such thing as dynamic typing, because types are by definition something that expressions in a language have, not something that runtime values have).

> There's a nice explanation here: https://existentialtype.wordpress.com/2011/03/19/dynamic-lan....

That is not a "nice explanation". It is writing to obscure rather than to clarify. And it certainly acknowledges that one cannot have differently typed values in a dynamic language.

j / k navigate · click thread line to collapse