3 ms·
I'm saying that you have to actually demonstrate that additional formalism adds value before you start claiming that it does.
by yogthos 11y ago
I'm saying that you have to actually demonstrate that additional formalism adds value before you start claiming that it does.
- Turing_Machine 11y agoYes. Real-world programming is an entirely different thing from academic research. In the real world, it may well be the case that while you're screwing around with a baroque type system, your competition has iterated three or four times and your milkshake has been drunk.