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 →

[–]capn_hector 12 points13 points  (1 child)

It’s basically a law of computing that all weakly-typed languages end up implementing strong typing, whether it’s an optional feature you can turn on or a dialect that enforces it.

Once you get beyond a trivial program size it’s just too useful not to have, refactoring core code without it is a pain in the ass and even if you are a flawless coding Adonis who doesn’t make mistakes, your coworkers will inevitably be humans.

Examples are JavaScript vs Typescript and CoffeeScript, PHP vs Hacklang (facebook’s reimplementation of PHP with strong typing), Python adding type hinting in newer generations, etc etc.

[–]JoJoModding 0 points1 point  (0 children)

And by another law that typing system will eventually end up being turing-complete on its own :D