5 ms·
Defining "correctness" in terms of types is the CS equivalent of defining "risk" in terms of volatility - it replaces a real and fundamentally unsolvable proble
by s17n 9y ago
Defining "correctness" in terms of types is the CS equivalent of defining "risk" in terms of volatility - it replaces a real and fundamentally unsolvable problem with a problem that, while it has the advantage of being tractable, isn't actually all that important to solve. Great for publishing papers, dangerous when people start confusing the fake problem and the real problem.
- eastWestMath 9y agoAnd you’re just doubling down on sophistry. Why should anyone take you seriously in this conversation?
- s17n 9y agoSaying "you're doubling down on sophistry" instead of just "you're wrong" doesn't actually make you more convincing.
- eastWestMath 9y agoNo, I’m saying sophistry contributes nothing to the conversation. I don’t care about convincing you about the subject at hand: you have the opinion of someone who’s invested too much into justifying their ignorance to actually pick up a textbook and learn the relevant material.