|
|
|
|
|
|
by jdm2212
2155 days ago
|
|
|
> they do prove that certain classes of errors don't exist in your program That's particularly important when refactoring because you want to assert that you haven't introduced new bugs, and the type system will often let you prove that with almost zero effort on your part. |
|
|