2 ms·
>our existing type systems don't make code "provably correct" That is what I am telling you. >and when people say that it does (like the commenter above) The
by papsosouid 13y ago
>our existing type systems don't make code "provably correct"
That is what I am telling you.
>and when people say that it does (like the commenter above)
They said no such thing.
- jes5199 13y agoYes, you're telling me something that I was already trying to demonstrate with my example.
- papsosouid 13y agoI can't speak to your motive, all I can do is read what you posted. What you posted was wrong, and I explained that.
- jes5199 13y agoWhat I posted was obviously self-contradictory, which is not the same as wrong.
- papsosouid 13y agoWhat you posted was wrong, like I said. There are programs that have proofs demonstrating they are free of bugs. You have not seen them do either of the things you claim to have seen. You were stating something false.