Re:Are dynamic languages going to replace static languages? ...
by gpderetta on Wednesday August 04, 2021 @06:09AM
(#28059234)
right, but it is not the unit test that is giving you that confidence and the unit test will not help you if the function is later modified.
What you have, after manual inspection of the code, is some sort of informal and not written down correctness proof. A machine tested proof would be better and types help with that.
What you have, after manual inspection of the code, is some sort of informal and not written down correctness proof. A machine tested proof would be better and types help with that.