4 ms·

There are many fallacies in your ideas. What do you do about programming errors you cannot identify? And what about programming errors that your process and you

There are many fallacies in your ideas. What do you do about programming errors you cannot identify? And what about programming errors that your process and your language causes? Can you identify those too? Of course not. Once you understand that things you introduce into a language can both help with some problems and cause other problems we can move to ideas on how to identify and classify those things. And of course we cannot do that with math proofs. Programming language design is all about interactions with humans and there is no place for so much ignorance of humans as your comment expresses. And don't get me wrong, you can come up with an arbitrary approach to language design that doesn't involve humans, but it can work for humans only by chance.

catnaroek 9y ago
> What do you do about programming errors you cannot identify? A programming language designer can only do so much for you. If you cannot identify errors in your programs on your own, consider switching to a different career. > And what about programming errors that your process and your language causes? Rigorous reasoning cannot possibly cause any problems. Rigorous reasoning helps identify and fix problems more often than not caused by prior non-rigorous reasoning. > Programming language design is all about interactions with humans Humans who need to reason rigorously in order to do things right, hence need to be pushed in this direction.