Re:Deno will stop using TypeScript
by yawaramin on Sunday June 21, 2020 @04:27PM
(#23595130)
Unit tests can only prove the presence of bugs; they can never prove the absence of bugs. Only a typechecker can do that (provided an appropriate implementation). E.g. here is an AVL tree that is verified balanced at the type level: https://sketch.sh/s/C7Afz38jtFRMTkkydeBgUA/
No unit tests needed to show that it is balanced :-)
No unit tests needed to show that it is balanced :-)