|
|
|
|
|
|
by jiggawatts
1091 days ago
|
|
|
The percentage of test code required depends on the language. The stronger the typing and the more statically verified it is, the less testing is required. The total "correctness code" is basically the same, but it's moved from dynamically run tests into the compiler, which statically verifies the rules. |
|
|