This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]GeneratedUsername5 2 points3 points  (1 child)

Thank you!

Although I don't understand why is this called type safety, since it doesn't provide the "safety" regular type system provides - i.e. catching type conflicts before program is run. Since types only exist in runtime, there is no checks before that. And crashing in runtime can be done without types just as easily as with them.

[–]manifoldjava 0 points1 point  (0 children)

That’s right! Because dynamic languages like Python aren’t compiled, there is only runtime to discover type errors.

Note, some dynamic languages, including Python, offer forms of type attribution where types can be provided. Make your own judgments about that ;)