Hacker News new | ask | show | jobs
by oselhn 2637 days ago
Only if they are correct. I am pretty sure that in old code base it will not be correct unless automatically checked before commit.
1 comments
coldtea 2637 days ago
That's trivially settled with a static type checker.

So the argument is analogous to saying "how can I trust the types in this Java program are correct, if it has never been compiled".

Well, whether some "old code base" has them correct or not, just run the type checker and find out.

link
oselhn 2637 days ago
If you do that you will probably hurt your productivity. There still will possible errors made by using 3rd party code.

In my opinion optional type checking is not comparable to statically typed language guaranties. So if I do not need types I would use python. If I need/want type specification I would use statically typed language.

link