|
|
|
|
|
|
by naasking
3267 days ago
|
|
|
> We've done testing since the start. Still many bugs. Exactly, as the OP clearly doesn't understand, but every researcher in programming languages does, test can only prove the presence of bugs, it cannot prove their absence. Types can. |
|
|