|
|
|
|
|
|
by dkarl
458 days ago
|
|
|
> I think it comes from a fallacy of take a small 20-line function in C, it can be made bug-free and fully tested It can't. You can make yourself 99.9...% confident that it's correct. Then you compose it with some other functions that you're 99.9...% about, and you now have a new function that you are slightly less confident in. And you compose that function with other functions to get a function that you're slightly less confident in. And you compose them all together to get a complete program that you wouldn't trust to take a dollar to the store to buy gum. |
|
|