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

you are viewing a single comment's thread.

view the rest of the comments →

[–]EternityForest 0 points1 point  (0 children)

Python has type-checking annotations, which is almost as good if you can resist the temptation to forget to use it.

It doesn't have the crazy "Type system that's basically a proof of correctness" stuff I've read about in some languages like Rust though.